genode

History

Christian Helmuth 11ef8e1ff2 depot: update recipe hashes		2019-11-28 09:06:39 +01:00
..
README	Depot-archive recipes	2017-05-31 13:15:56 +02:00
content.mk	Move timer from os to base repository	2019-01-14 12:33:57 +01:00
hash	depot: update recipe hashes	2019-11-28 09:06:39 +01:00
used_apis	Depot-archive recipes	2017-05-31 13:15:56 +02:00

README

This archive contains the OKL4-specific part of Genode.

It also contains the source code of the OKL4 kernel in the src/kernel/okl4
directory.

Please note that OKL4 has a license distinct from Genode. OKL4 is licensed
under the terms of the GNU General Public License version 2.