From 737a3290d923e30abc36057f8638f718c47c2313 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Mon, 17 Feb 2014 15:11:44 +0100 Subject: [PATCH] nova: for clearing a ds it must be ever writable --- base-nova/src/core/ram_session_support.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-nova/src/core/ram_session_support.cc b/base-nova/src/core/ram_session_support.cc index c19afc177..1fad96dbb 100644 --- a/base-nova/src/core/ram_session_support.cc +++ b/base-nova/src/core/ram_session_support.cc @@ -90,7 +90,7 @@ void Ram_session_component::_clear_ds(Dataspace_component *ds) if (!virt_ptr) return; Nova::Utcb * const utcb = reinterpret_cast(Thread_base::myself()->utcb()); - const Nova::Rights rights(true, ds->writable(), true); + const Nova::Rights rights(true, true, true); addr_t const virt_addr = reinterpret_cast(virt_ptr); addr_t phys = ds->phys_addr();