genode/repos/base-hw/src/core/spec
Adrian-Ken Rueegsegger 1035efcf3f hw_x86_64: Save info on interrupt stack to client context
As the kernel entry is called from the interrupt handler the stack
layout is as specified by Intel SDM Vol. 3A, figure 6-8. An additional
vector number is stored at the top of the stack.

Gather the necessary client information from the interrupt stack frame
and store it in the client context.
2015-03-27 11:53:21 +01:00
..
arm hw: extend warning messages to ease debugging 2015-03-27 11:53:13 +01:00
arm_gic hw: refactor irq controllers 2015-02-27 11:43:56 +01:00
arm_v6 hw: adjust core bootstrap to fit generic process 2015-03-19 08:57:19 +01:00
arm_v7 hw: adjust core bootstrap to fit generic process 2015-03-19 08:57:19 +01:00
arndale hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
exynos5 hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
imx53 hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
panda hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
pbxa9 hw: rename processor CPU 2014-08-15 10:19:48 +02:00
rpi hw/rpi: USB SOF interrupt filtering 2014-10-13 14:52:43 +02:00
vea9x4 hw_vea9x4: quickfix slow RAM access 2015-02-17 14:18:16 +01:00
x86 hw: skeleton for building on x86_64 2015-03-27 11:53:16 +01:00
x86_64 hw_x86_64: Save info on interrupt stack to client context 2015-03-27 11:53:21 +01:00