Stefan Lankes e1c3ddbc8d use irqsave page directory lock to avoid deadlocks		2012-09-10 13:41:00 +02:00
..
init.c	some code cleanups	2012-08-01 14:52:31 +02:00
main.c	add prototype of a tickless kernel	2012-07-03 16:46:54 +02:00
Makefile	fix makefile	2011-09-30 11:55:26 +02:00
syscall.c	add readdir	2011-11-09 11:56:37 +01:00
tasks.c	use irqsave page directory lock to avoid deadlocks	2012-09-10 13:41:00 +02:00