genode

History

Norman Feske dd899fde29 depot: update recipe hashes		2020-04-24 14:37:57 +02:00
..
content.mk	Move timer from os to base repository	2019-01-14 12:33:57 +01:00
hash	depot: update recipe hashes	2020-04-24 14:37:57 +02:00
README	Depot-archive recipes	2017-05-31 13:15:56 +02: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.