genode/repos/base-hw/include
Stefan Kalkowski 2316937e58 hw: remove main thread's initial UTCB from vm area
The main thread's UTCB, used during bootstrap of the main thread before
it allocates its context area, needs to be outside the virtual memory
area controlled by the RM session, because it is needed before the main
thread can access its RM session.

Fix #1804
2015-12-10 13:16:27 +01:00
..
base hw: remove main thread's initial UTCB from vm area 2015-12-10 13:16:27 +01:00
cap_session hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
cpu_session Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
kernel hw: reference count capabilities in UTCBs 2015-12-10 13:16:25 +01:00
pd_session hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
signal_session hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
spec hw & imx53: IRQ injection via Vm::proceed 2015-11-29 18:17:04 +01:00
vm_session hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00