genode/base-nova/src
Alexander Boettcher 0ac6be3c70 nova: fix boot modules and command line bootstrap
Allocate ever an extra page behind the commandline pointer. If it turns out
that this page is unused, because commandline was short enough, unmap the
memory and put the virtual and physical regions back to the allocator.

Fix #664
2013-02-25 22:14:21 +01:00
..
base Rework the internal lock interface 2013-02-25 22:14:21 +01:00
core nova: fix boot modules and command line bootstrap 2013-02-25 22:14:21 +01:00
kernel NOVA: use latest kernel from github 2012-11-05 17:28:51 +01:00
platform Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
test/cap_integrity Merge base libraries into a single library 2013-02-19 14:45:55 +01:00