From 7f2087e105f14460c30da128b3b9e77de5dd50a8 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 21 Aug 2017 13:59:27 +0200 Subject: [PATCH] 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 --- repos/base-hw/ports/muen.hash | 2 +- repos/base-hw/ports/muen.patch | 10 ++++++++++ repos/base-hw/ports/muen.port | 2 ++ 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 repos/base-hw/ports/muen.patch diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash index 5772385f79..bb5110a52c 100644 --- a/repos/base-hw/ports/muen.hash +++ b/repos/base-hw/ports/muen.hash @@ -1 +1 @@ -fc3e49f0c47e850625e09a021f31291b845a6728 +ed4aaf70cae8251180a99f2f0dd56322aa73b2a6 diff --git a/repos/base-hw/ports/muen.patch b/repos/base-hw/ports/muen.patch new file mode 100644 index 0000000000..bd6a068d33 --- /dev/null +++ b/repos/base-hw/ports/muen.patch @@ -0,0 +1,10 @@ ++++ src/kernel/muen/policy/xml/genode-base_hw.xml +@@ -102,7 +102,7 @@ + + + +- 16#0020_000c# ++ 16#0020_0028# + 16#0000# + + diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port index f957c06d25..23ee8eb8fb 100644 --- a/repos/base-hw/ports/muen.port +++ b/repos/base-hw/ports/muen.port @@ -6,6 +6,8 @@ URL(muen) := https://git.codelabs.ch/git/muen.git REV(muen) := 4ffd2c94b1b7de268c0a428855be2e7e8b8f288e DIR(muen) := src/kernel/muen +PATCHES := ports/muen.patch + $(call check_tool,git) $(call check_tool,iasl) $(call check_tool,tidy)