nova: make kernel memory configurable

via the Genode build system. Avoids the need to maintain contrib patches on nova. Fixes #2162
2016-11-03 14:43:45 +01:00
parent 74c0b22066
commit 94fd5ad3b0
3 changed files with 4 additions and 4 deletions
--- a/repos/base-nova/ports/nova.hash
+++ b/repos/base-nova/ports/nova.hash
@@ -1 +1 @@
-59cc18dd3ea0c190f75c2e7d8fa35f84ca43d0fb
+931c26a24d490daae7df7ebbb03274366088adf0
--- a/repos/base-nova/ports/nova.port
+++ b/repos/base-nova/ports/nova.port
@@ -4,7 +4,7 @@ DOWNLOADS := nova.git

 # r9 branch - use r9_debug for more verbose kernel messages
 URL(nova) := https://github.com/alex-ab/NOVA.git
-REV(nova) := 85bac7065cdee3045efbedd116c46bd79f55fe5c
+REV(nova) := 4d6f04dd02d8099a20766025457be0afd0eae534
 DIR(nova) := src/kernel/nova

 PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)