IRQ: added irq source capability and make the inthandler setup use it
[barrelfish] / kernel / kcb.c
2016-04-06 Lukas HumbelIRQ: added irq source capability and make the inthandle...
2016-04-06 Lukas HumbelIRQ: added IRQVector cap
2014-11-10 Gerd ZellwegerPut KCB syscalls in platform independent kernel source.
2014-10-31 Gerd ZellwegerAdd case for kcb_current == to_remove.
2014-10-31 Gerd ZellwegerRefactor kcb add/remove function in kernel.
2014-10-14 Simon GerberUpdated kcb selection logic in send_user_interrupt...
2014-10-14 Simon GerberAdded code to make deferred events fairly accurate...
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-10-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...