IRQ: added irq source capability and make the inthandler setup use it
[barrelfish] / kernel / include / kcb.h
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-11-05 Gerd ZellwegerIntegrating coreboot for 32bit.
2014-10-31 Gerd ZellwegerRefactor kcb add/remove function in kernel.
2014-10-14 Simon GerberFixed deferred events when migrating onto running cpu...
2014-10-14 Simon GerberAdded code to make deferred events fairly accurate...
2014-10-14 Gerd ZellwegerAssert that kcb is set.
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-10-14 Simon GerberFixed x86boot 'take' operation implementation.
2014-10-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...
2014-10-14 Simon GerberAdded home kcb which is used for interrupt handling.
2014-10-14 Simon GerberAdded invocation to remove kcb from kcb scheduling...
2014-10-14 Simon GerberAdded switching of kcb on timer interrupt and added...
2014-10-14 Simon GerberRenamed kernel global kcb to kcb_current. Fixed wakeup...
2014-10-14 Gerd ZellwegerFix some code, able to do benchmarks.
2014-10-14 Simon GerberAdded code to make it possible to switch between kernel...
2014-10-14 Simon GerberRemoved lastdisp and kernel_now from kcb; call schedule...
2014-10-14 Gerd ZellwegerMoved irq_dispatch in kcb again.
2014-10-14 Simon GerberAdded more scheduler state to kcb.
2014-10-14 Simon GerberAdded kernel_now to kcb and fixed restoring of schedule...
2014-10-14 Gerd Zellwegerstruct cte include for kcb.
2014-10-14 Simon GerberImplemented mdb restore iff valid kcb available. Moved...
2014-10-14 Simon GerberMade mdb update kcb if compiled in 'kernel mode' and...
2014-10-14 Gerd ZellwegerConstruct kernel control blocks in x86boot.
2014-10-14 Gerd ZellwegerRemove defines.
2014-10-14 Gerd ZellwegerMoving IRQ state in KCB.
2014-10-14 Simon GerberAdded capability type and struct definition for kcb...