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