kern - rbraun/x15.git - The X15 microkernel

Mode	Name	Size
-rw-r--r--	assert.h	1403	log plain
-rw-r--r--	bitmap.c	2556	log plain
-rw-r--r--	bitmap.h	4261	log plain
-rw-r--r--	bitmap_i.h	1825	log plain
-rw-r--r--	condition.c	4312	log plain
-rw-r--r--	condition.h	2620	log plain
-rw-r--r--	condition_types.h	979	log plain
-rw-r--r--	config.h	778	log plain
-rw-r--r--	cpumap.c	1853	log plain
-rw-r--r--	cpumap.h	3997	log plain
-rw-r--r--	error.c	1415	log plain
-rw-r--r--	error.h	1176	log plain
-rw-r--r--	evcnt.c	1968	log plain
-rw-r--r--	evcnt.h	2500	log plain
-rw-r--r--	init.h	1226	log plain
-rw-r--r--	kernel.c	2324	log plain
-rw-r--r--	kernel.h	1187	log plain
-rw-r--r--	kmem.c	33667	log plain
-rw-r--r--	kmem.h	2949	log plain
-rw-r--r--	kmem_i.h	5587	log plain
-rw-r--r--	limits.h	894	log plain
-rw-r--r--	list.h	12424	log plain
-rw-r--r--	list_types.h	926	log plain
-rw-r--r--	llsync.c	9070	log plain
-rw-r--r--	llsync.h	6416	log plain
-rw-r--r--	llsync_i.h	3772	log plain
-rw-r--r--	log2.h	1142	log plain
-rw-r--r--	macros.h	2476	log plain
-rw-r--r--	mutex.c	1577	log plain
-rw-r--r--	mutex.h	3380	log plain
-rw-r--r--	mutex_i.h	1460	log plain
-rw-r--r--	mutex_types.h	1175	log plain
-rw-r--r--	panic.c	1336	log plain
-rw-r--r--	panic.h	930	log plain
-rw-r--r--	param.h	794	log plain
-rw-r--r--	percpu.c	3147	log plain
-rw-r--r--	percpu.h	3774	log plain
-rw-r--r--	plist.c	1890	log plain
-rw-r--r--	plist.h	6908	log plain
-rw-r--r--	plist_types.h	1618	log plain
-rw-r--r--	printk.c	1682	log plain
-rw-r--r--	printk.h	1259	log plain
-rw-r--r--	rbtree.c	12998	log plain
-rw-r--r--	rbtree.h	11097	log plain
-rw-r--r--	rbtree_i.h	5319	log plain
-rw-r--r--	rdxtree.c	20994	log plain
-rw-r--r--	rdxtree.h	5145	log plain
-rw-r--r--	rdxtree_i.h	1823	log plain
-rw-r--r--	rtmutex.c	2975	log plain
-rw-r--r--	rtmutex.h	2476	log plain
-rw-r--r--	rtmutex_i.h	2553	log plain
-rw-r--r--	rtmutex_types.h	934	log plain
-rw-r--r--	sleepq.c	8399	log plain
-rw-r--r--	sleepq.h	4353	log plain
-rw-r--r--	spinlock.h	2444	log plain
-rw-r--r--	spinlock_i.h	1509	log plain
-rw-r--r--	spinlock_types.h	921	log plain
-rw-r--r--	sprintf.c	16061	log plain
-rw-r--r--	sprintf.h	1478	log plain
-rw-r--r--	sref.c	26117	log plain
-rw-r--r--	sref.h	3531	log plain
-rw-r--r--	sref_i.h	1767	log plain
-rw-r--r--	string.c	3124	log plain
-rw-r--r--	string.h	1168	log plain
-rw-r--r--	task.c	4161	log plain
-rw-r--r--	task.h	1634	log plain
-rw-r--r--	thread.c	70813	log plain
-rw-r--r--	thread.h	15708	log plain
-rw-r--r--	thread_i.h	5173	log plain
-rw-r--r--	turnstile.c	20982	log plain
-rw-r--r--	turnstile.h	5562	log plain
-rw-r--r--	turnstile_types.h	2005	log plain
-rw-r--r--	types.h	856	log plain
-rw-r--r--	work.c	14987	log plain
-rw-r--r--	work.h	3604	log plain
-rw-r--r--	xcall.c	4236	log plain
-rw-r--r--	xcall.h	1540	log plain