genode/repos/base-nova/src
Martin Stein f3e76b3e9a base: use BDA header in base-nova like base-hw
Moves the Bios Data Area header from base-hw to base. Modifies the
base-nova core console that it uses the header as replacement for
the previous BDA bit logic.

Ref #1625
2015-07-21 09:30:12 +02:00
..
base base: use BDA header in base-nova like base-hw 2015-07-21 09:30:12 +02:00
core base: use BDA header in base-nova like base-hw 2015-07-21 09:30:12 +02:00
kernel
platform
test/platform base: remove cap_integrity test (fix #1536) 2015-05-26 09:40:04 +02:00