genode

History

Christian Helmuth 555ebe1ffe okl4: copy elfweaver tool to build directory When using the elfweaver to generate boot images, python stores precompiled modules in the source directory besides the .py files. This changed the contrib source tree with binary files specific to the build host. As a result the depot create tool picked up the changed source tree and produced strange new hashes. Now, the tool sources are copied to the build directory where python can do its optimizations and the depot stays clean.		2017-09-07 11:47:16 +02:00
..
contrib/generated	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
doc	base-okl4: remove unmaintained porting steps	2016-03-07 12:34:45 +01:00
etc	Add unified build directories to create_builddir	2017-01-13 13:05:44 +01:00
lib	okl4: copy elfweaver tool to build directory	2017-09-07 11:47:16 +02:00
patches	okl4: declare read-write-lock as volatile	2014-11-20 16:39:16 +01:00
ports	okl4: apply patches in deterministic order	2017-08-30 12:41:43 +02:00
recipes/src/base-okl4	depot: update recipe hashes	2017-08-30 12:41:43 +02:00
run	run: use default Qemu memory size for x86	2017-05-31 13:16:19 +02:00
src	okl4: remove tools of okl4 during make clean	2017-08-30 10:00:01 +02:00
tool	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
README	base-okl4: remove unmaintained porting steps	2016-03-07 12:34:45 +01:00

README

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.