genode

History

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
..
config	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
doc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
etc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
include	base: remove pager code from public API	2015-07-01 14:46:15 +02:00
lib/mk	base: remove pager code from public API	2015-07-01 14:46:15 +02:00
mk	base-pistachio: Add syscall library support	2014-10-30 13:36:13 +01:00
patches	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
ports	ports: also hash patches with absolute path names	2015-01-27 12:17:53 +01:00
src	core: unify and simplify paging code (Fix #1641 )	2015-08-21 10:58:59 +02:00
Makefile	base-pistachio: migrate to new ports mechanism	2014-05-27 11:14:44 +02:00
README	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00

README

This repository contains the L4ka::Pistachio-specific implementation of Genode.
Please see the documentation at 'base-pistachio/doc/pistachio.txt' for further
instructions on building and using Genode on the L4ka::Pistachio kernel.