Tobias Brunner bb381e26c6 Refer to scheduler and processor via lib and not hydra.		2010-09-02 19:04:18 +02:00
..
kernel_handler.c	Refer to scheduler and processor via lib and not hydra.	2010-09-02 19:04:18 +02:00
kernel_handler.h	Moved kernel interface to libhydra.	2010-09-02 19:01:25 +02:00