ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 23:54:14 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nova: update to latest r10 branch

Browse Source 
- which avoids some false postive overmap mappings
- and contains more accurate kernel memory accounting.

Fixes #3009
This commit is contained in:
Alexander Boettcher 2018-10-04 10:43:39 +02:00 committed by Christian Helmuth
parent 7d641d5f1f
commit ca727ea3d9
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-nova/ports/nova.hash
View File

@ -1 +1 @@
95f7056d34c5d48ef9dfbf67f5053fd0486e47b8
6f1ccc8c9e1a2fe3a774f76193979dc23f23abe9

2
repos/base-nova/ports/nova.port
View File

@ -4,7 +4,7 @@ DOWNLOADS := nova.git
# r10 branch
URL(nova) := https://github.com/alex-ab/NOVA.git
REV(nova) := b156131007c928e2968fc5e551cea402c1886919
REV(nova) := 799569da2097aa17e8ba750ac2218d1a466cd8b8
DIR(nova) := src/kernel/nova
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))