From 7d76ea075c248b2ed64c69a5e5dd4493d943e628 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Mon, 16 Mar 2015 11:37:06 +0100
Subject: kern: add radix tree library

Import a radix tree library from Richard Braun's librbraun.

* Makefile.am (clib_routines): Steal `__ffsdi2'.
* Makefrag.am (libkernel_a_SOURCES): Add new files.
* kern/rdxtree.c: New file.
* kern/rdxtree.h: Likewise.
* kern/rdxtree_i.h: Likewise.
* kern/startup.c (setup_main): Initialize radix tree library.
---
 kern/startup.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kern/startup.c')

diff --git a/kern/startup.c b/kern/startup.c
index 71cd04d5..f9f0c347 100644
--- a/kern/startup.c
+++ b/kern/startup.c
@@ -41,6 +41,7 @@
 #include <kern/mach_clock.h>
 #include <kern/printf.h>
 #include <kern/processor.h>
+#include <kern/rdxtree.h>
 #include <kern/sched_prim.h>
 #include <kern/task.h>
 #include <kern/thread.h>
@@ -112,6 +113,7 @@ void setup_main(void)
 
 	sched_init();
 	vm_mem_bootstrap();
+	rdxtree_cache_init();
 	ipc_bootstrap();
 	vm_mem_init();
 	ipc_init();
-- 
cgit v1.2.3