mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-27 22:59:43 +00:00
555ebe1ffe
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.
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.