Stefan Kalkowski f60cf697d2 core: simplify Rom_module and Rom_fs
* replace print_fs with Output::print equivalent
* use Avl_tree::for_each instead of own implementation
* extend constness

Ref #2159
2016-11-08 15:45:21 +01:00
..
2015-01-26 12:28:40 +01:00
2016-11-08 15:45:21 +01:00

This repository contains the implementation of Genode for the OKL4
kernel version 2.1.  For further information, please refer to the
following website:

:[http://genode.org/documentation/articles/genode-on-okl4 - Bringing Genode to OKL4]:
  This article explains the OKL4-specific porting work.