From 2faca15b2b34b050e14a80ec445a761a6d04e7d2 Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf Date: Thu, 16 May 2013 12:02:04 +0200 Subject: [PATCH] base-foc: Set executable bit when mapping pages If these are not set, this leads to page faults, during code execution on x86_64, ARM, and x86_32 with PAE enabled. --- base-foc/include/base/ipc_pager.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-foc/include/base/ipc_pager.h b/base-foc/include/base/ipc_pager.h index e8b0eaea5..12280b63e 100644 --- a/base-foc/include/base/ipc_pager.h +++ b/base-foc/include/base/ipc_pager.h @@ -68,7 +68,7 @@ namespace Genode { //if (write_combined) // _fpage.fp.cache = Fiasco::L4_FPAGE_BUFFERABLE; - unsigned char rights = _rw ? Fiasco::L4_FPAGE_RW : Fiasco::L4_FPAGE_RO; + unsigned char rights = _rw ? Fiasco::L4_FPAGE_RWX : Fiasco::L4_FPAGE_RX; return Fiasco::l4_fpage(_src_addr, _log2size, rights); }