ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-16 15:29:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nova: use branch with sanitized HIP population

Browse Source 
to avoid boot failures as seen with X201 after #5413.

Fixes #5481
This commit is contained in:
Alexander Boettcher 2025-03-14 16:27:48 +01:00 committed by Norman Feske
parent 2c2f016501
commit 2c1e25fcf7
3 changed files with 5 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 @@
a807a373a599ea40bebfc36790cf695d5cf89812
29523a7f9e3ba8e0779cbde8f851e1e71e166803

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) := 62420ca0cc6e648946bab553045e9334a408b982
REV(nova) := 133ed7702a4f6022c249c2171e2cfd0bfd03fd35
DIR(nova) := src/kernel/nova
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))

3
repos/base-nova/src/core/platform.cc
View File

@ -430,6 +430,9 @@ Core::Platform::Platform()
region_alloc().remove_range((addr_t)__main_thread_utcb - get_page_size(),
get_page_size() * 4);
/* exclude HIP */
region_alloc().remove_range(addr_t(&hip), _vm_base + _vm_size - addr_t(&hip));
/* sanity checks */
addr_t check [] = {
reinterpret_cast<addr_t>(__main_thread_utcb), CORE_PAGER_UTCB_ADDR,