denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

nova: make compatible with C++20

Browse Source 
Fixes #4886
This commit is contained in:
Alexander Boettcher
2023-05-16 09:43:32 +02:00
committed by Christian Helmuth
parent cb531e4cf9
commit de986c5f0b
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1 +1 @@
e45565b06e9324f1016416935b5c0f8e1da91725
89e077c8c83aa0e1dd51f2222139412eea1c5f0f

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) := da528a1e305b8892c4c3ef3c5a4bb420bb534d63
REV(nova) := 6b593c302a2e95f288a423ec3cc7ec3ba0d5653b
DIR(nova) := src/kernel/nova
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))

2
repos/base-nova/src/test/platform/main.cc
View File

@@ -529,7 +529,7 @@ class Cause_mapping : public Genode::Thread {
Nova::Utcb * nova_utcb = reinterpret_cast<Nova::Utcb *>(utcb());
while (true) {
called ++;
called = called + 1;
// log("mapper: request mapping ", Hex(_mem_nd), " ", called);
Nova::Crd old = nova_utcb->crd_rcv;