kern - rbraun/x15.git - The X15 microkernel

Mode	Name	Size
-rw-r--r--	assert.h	1333	log plain
-rw-r--r--	bitmap.c	1802	log plain
-rw-r--r--	bitmap.h	4440	log plain
-rw-r--r--	config.h	778	log plain
-rw-r--r--	error.h	817	log plain
-rw-r--r--	init.h	1226	log plain
-rw-r--r--	kernel.c	1198	log plain
-rw-r--r--	kernel.h	1133	log plain
-rw-r--r--	kmem.c	33568	log plain
-rw-r--r--	kmem.h	8849	log plain
-rw-r--r--	limits.h	915	log plain
-rw-r--r--	list.h	8941	log plain
-rw-r--r--	macros.h	2426	log plain
-rw-r--r--	panic.c	1112	log plain
-rw-r--r--	panic.h	930	log plain
-rw-r--r--	param.h	794	log plain
-rw-r--r--	printk.c	1635	log plain
-rw-r--r--	printk.h	1234	log plain
-rw-r--r--	rbtree.c	12719	log plain
-rw-r--r--	rbtree.h	10908	log plain
-rw-r--r--	rbtree_i.h	5289	log plain
-rw-r--r--	spinlock.h	2534	log plain
-rw-r--r--	spinlock_i.h	1603	log plain
-rw-r--r--	sprintf.c	15571	log plain
-rw-r--r--	sprintf.h	1478	log plain
-rw-r--r--	stddef.h	1075	log plain
-rw-r--r--	stdint.h	1028	log plain
-rw-r--r--	string.c	2676	log plain
-rw-r--r--	string.h	1173	log plain
-rw-r--r--	task.c	3104	log plain
-rw-r--r--	task.h	1527	log plain
-rw-r--r--	thread.c	41020	log plain
-rw-r--r--	thread.h	6502	log plain
-rw-r--r--	types.h	794	log plain