mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 16:14:13 +00:00
eafe5e81e3
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.
This repository contains the implementation of Genode for the OKL4 kernel version 2.1. For further information, please refer to the following documents: :[http://genode.org/community/wiki/GenodeOnOKL4 - Genode on OKL4 Wiki page]: This Wiki page contains the information on how to build and use Genode with OKL4. :[http://genode.org/documentation/articles/genode-on-okl4 - Bringing Genode to OKL4]: This article explains the OKL4-specific porting work.