ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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.
This commit is contained in:
Sebastian Sumpf 2013-05-16 12:02:04 +02:00 committed by Norman Feske
parent 99421a2a82
commit 2faca15b2b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base-foc/include/base/ipc_pager.h
View File

@ -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);
}