genode/base-hw
Martin Stein bc24a21658 base-hw: embed kernel space into platform thread
Instead of allocating and freeing the space that is needed for the
kernel thread objects from core, wich is not convenient with the
quota system, platform thread now holds the space as array by
itself.

Unfortunately we cannot measure the space size by a static function
anymore, so kernel thread had to be moved from kernel.cc into its
own header. This way platform thread can use sizeof().

Fix #543
2012-11-30 16:23:16 +01:00
..
doc Merge panda_a2 and panda SPEC (fix #505, fix #506) 2012-11-23 12:20:27 +01:00
include base-hw: reply to IPC without awaiting the next 2012-11-30 16:23:16 +01:00
lib/mk base-hw: embed kernel space into platform thread 2012-11-30 16:23:16 +01:00
mk Merge panda_a2 and panda SPEC (fix #505, fix #506) 2012-11-23 12:20:27 +01:00
run Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
src base-hw: embed kernel space into platform thread 2012-11-30 16:23:16 +01:00