Stefan Lankes bffaf0bd57 on x64, disable the option to create user-level tasks		2012-09-10 15:39:51 +02:00
..
init.c	on x64, disable the option to create user-level tasks	2012-09-10 15:39:51 +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	on x64, disable the option to create user-level tasks	2012-09-10 15:39:51 +02:00