genode/base-okl4/contrib/generated
2011-12-22 16:19:25 +01:00
..
x86 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This directory and its subdirectories contain machine-generated code,
produced when building the OKL4 kernel with its native Scons build environment.

It is not part of the Genode project and remains under the licence of the OKL4 kernel.

You can obtain the OKL4 kernel version 2.1.1. here:

[http://www.ok-labs.com - Open Kernel Labs]