genode/base-okl4/src
Christian Helmuth 7e517179c9 Unify stack alignment among all platforms
The alignment is now done in Thread_base::Context. Implementations are
forced to use Context::stack_top(), which aligns the stack top.
2014-01-27 18:54:08 +01:00
..
base base: count caps replied by a rpc function 2013-11-18 11:01:45 +01:00
core Unify stack alignment among all platforms 2014-01-27 18:54:08 +01:00
kernel Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
platform Move main bootstrap to platform-specific object 2013-09-26 15:00:16 +02:00
test Avoid target-name ambiguity of "test-thread" 2013-12-28 19:50:25 +01:00