From de986c5f0bb9c5c340940a54ac38407255cc2140 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 16 May 2023 09:43:32 +0200
Subject: [PATCH] nova: make compatible with C++20

Fixes #4886
---
 repos/base-nova/ports/nova.hash           | 2 +-
 repos/base-nova/ports/nova.port           | 2 +-
 repos/base-nova/src/test/platform/main.cc | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash
index 0bde56f02e..a880e6342f 100644
--- a/repos/base-nova/ports/nova.hash
+++ b/repos/base-nova/ports/nova.hash
@@ -1 +1 @@
-e45565b06e9324f1016416935b5c0f8e1da91725
+89e077c8c83aa0e1dd51f2222139412eea1c5f0f
diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port
index bc3acc57cd..d71aa17d87 100644
--- a/repos/base-nova/ports/nova.port
+++ b/repos/base-nova/ports/nova.port
@@ -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))
diff --git a/repos/base-nova/src/test/platform/main.cc b/repos/base-nova/src/test/platform/main.cc
index debc793f7c..2c2c85fd7e 100644
--- a/repos/base-nova/src/test/platform/main.cc
+++ b/repos/base-nova/src/test/platform/main.cc
@@ -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;