Sebastian Sumpf 2faca15b2b 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.		2013-05-18 11:23:02 +02:00
..
cap_alloc.h	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
cap_map.h	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
ipc_msgbuf.h	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
ipc_pager.h	base-foc: Set executable bit when mapping pages	2013-05-18 11:23:02 +02:00
native_types.h	64-bit fixes	2013-05-10 11:16:12 +02:00
thread_state.h	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00