diff --git a/repos/base-nova/include/nova/syscall-generic.h b/repos/base-nova/include/nova/syscall-generic.h index e2df2960ac..da1af48ea6 100644 --- a/repos/base-nova/include/nova/syscall-generic.h +++ b/repos/base-nova/include/nova/syscall-generic.h @@ -442,6 +442,7 @@ namespace Nova { RIGHT_EC_RECALL = 0x1U, RIGHT_PT_CALL = 0x2U, RIGHT_PT_CTRL = 0x1U, + RIGHT_PT_XCPU = 0x10U, RIGHT_SM_UP = 0x1U, RIGHT_SM_DOWN = 0x2U }; diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index bd78f64be3..d973916107 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -0878c653b740359a4123ac0b9a79ce5df26f9251 +2d7d4d9f37444150bfe0b90b8f63f47b76940ff2 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 2852a71343..4fc105f464 100644 --- 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) := 9b24eb4fa7d45249ca409720164902ec483a3134 +REV(nova) := 84676254ad6d471cd7716d193e026ed47c517e41 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch)) diff --git a/repos/base-nova/src/core/platform_thread.cc b/repos/base-nova/src/core/platform_thread.cc index affcfa0636..1813f426c9 100644 --- a/repos/base-nova/src/core/platform_thread.cc +++ b/repos/base-nova/src/core/platform_thread.cc @@ -48,7 +48,7 @@ static uint8_t map_thread_portals(Pager_object &pager, /* xxx better map portals with solely pt_call and sm separately ? xxx */ addr_t const rights = Obj_crd::RIGHT_EC_RECALL | - Obj_crd::RIGHT_PT_CTRL | Obj_crd::RIGHT_PT_CALL | + Obj_crd::RIGHT_PT_CTRL | Obj_crd::RIGHT_PT_CALL | Obj_crd::RIGHT_PT_XCPU | Obj_crd::RIGHT_SM_UP | Obj_crd::RIGHT_SM_DOWN; Obj_crd const source_initial_caps(source_exc_base, NUM_INITIAL_PT_LOG2,