kern - rbraun/x15.git - The X15 microkernel

Mode	Name	Size
-rw-r--r--	assert.h	1333	log plain
-rw-r--r--	bitmap.c	2472	log plain
-rw-r--r--	bitmap.h	4201	log plain
-rw-r--r--	bitmap_i.h	1825	log plain
-rw-r--r--	condition.c	3474	log plain
-rw-r--r--	condition.h	1292	log plain
-rw-r--r--	config.h	778	log plain
-rw-r--r--	cpumap.c	1866	log plain
-rw-r--r--	cpumap.h	3941	log plain
-rw-r--r--	error.h	861	log plain
-rw-r--r--	evcnt.c	1956	log plain
-rw-r--r--	evcnt.h	2271	log plain
-rw-r--r--	init.h	1226	log plain
-rw-r--r--	kernel.c	2128	log plain
-rw-r--r--	kernel.h	1187	log plain
-rw-r--r--	kmem.c	32629	log plain
-rw-r--r--	kmem.h	3486	log plain
-rw-r--r--	kmem_i.h	5812	log plain
-rw-r--r--	limits.h	915	log plain
-rw-r--r--	list.h	8905	log plain
-rw-r--r--	llsync.c	8859	log plain
-rw-r--r--	llsync.h	6299	log plain
-rw-r--r--	llsync_i.h	3772	log plain
-rw-r--r--	macros.h	2428	log plain
-rw-r--r--	mutex.c	1369	log plain
-rw-r--r--	mutex.h	1985	log plain
-rw-r--r--	mutex_i.h	2730	log plain
-rw-r--r--	panic.c	1316	log plain
-rw-r--r--	panic.h	930	log plain
-rw-r--r--	param.h	794	log plain
-rw-r--r--	percpu.c	2678	log plain
-rw-r--r--	percpu.h	3685	log plain
-rw-r--r--	printk.c	1674	log plain
-rw-r--r--	printk.h	1259	log plain
-rw-r--r--	rbtree.c	12719	log plain
-rw-r--r--	rbtree.h	10836	log plain
-rw-r--r--	rbtree_i.h	5289	log plain
-rw-r--r--	spinlock.h	2461	log plain
-rw-r--r--	spinlock_i.h	1326	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	3053	log plain
-rw-r--r--	string.h	1173	log plain
-rw-r--r--	task.c	3435	log plain
-rw-r--r--	task.h	1634	log plain
-rw-r--r--	thread.c	57802	log plain
-rw-r--r--	thread.h	13332	log plain
-rw-r--r--	types.h	1119	log plain
-rw-r--r--	work.c	14775	log plain
-rw-r--r--	work.h	3576	log plain