Stefan Kalkowski eafe5e81e3 core: unify and simplify paging code (Fix #1641) ... For most platforms except of NOVA a distinction between pager entrypoint and pager activation is not needed, and only exists due to historical reasons. Moreover, the pager thread's execution path is almost identical between most platforms excluding NOVA, HW, and Fisco.OC. Therefore, this commit unifies the pager loop for the other platforms, and removes the pager activation class.		2015-08-21 10:58:59 +02:00
..
doc	sel4: 3rd article - porting core to seL4	2015-05-26 09:40:02 +02:00
include	base: remove pager code from public API	2015-07-01 14:46:15 +02:00
lib	core: unify and simplify paging code (Fix #1641)	2015-08-21 10:58:59 +02:00
mk	Add sel4_x86_32 to create_builddir tool	2015-05-26 09:40:01 +02:00
ports	sel4: replace syscalls.patch by macros.patch	2015-05-26 09:39:54 +02:00
run	sel4: core skeleton	2015-05-26 09:39:57 +02:00
src	core: unify and simplify paging code (Fix #1641)	2015-08-21 10:58:59 +02:00