Returning from IRQ handlers
----
You actually use sys_yield() to return from an IRQ handler - take a look at
the init/src/keyboard.{S,c} and init/include/keyboard.h.
As it is now the IRQ handler will not receive any prologue or epilogue
upcalls, and it's free to run for any number of time slices. This has to be
fixed in a later release.
/Kasper
|
