Christian Helmuth 7f2087e105 muen: adapt initial IP of genode subject ...

The entry point changed in "hw: add UEFI boot support" due to the
additional Multiboot2 header.

Issue #2242

2017-08-28 16:49:45 +02:00

..

doc

Update Muen port

2017-05-31 13:16:22 +02:00

etc

base: remove include/spec/* other than ISA

2017-05-31 13:16:01 +02:00

include

hw: fix capability accounting of kernel/core

2017-06-19 12:35:55 +02:00

lib/mk

core: generic ROM module initialization

2017-08-28 16:49:36 +02:00

ports

muen: adapt initial IP of genode subject

2017-08-28 16:49:45 +02:00

recipes

depot: update recipe hashes

2017-08-18 10:25:28 +02:00

run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

src

core: remove unmap from rm_client

2017-08-28 16:49:44 +02:00