BeRTOS
kern/irq.h File Reference

Process scheduler (public interface). More...

Go to the source code of this file.


Detailed Description

Process scheduler (public interface).

Author:
Bernie Innocenti <bernie@codewiz.org>

Definition in file kern/irq.h.