genode

History

Christian Helmuth c2e0d0ae20 depot: update recipe hashes		2018-08-30 09:25:10 +02:00
..
README	Depot-archive recipes	2017-05-31 13:15:56 +02:00
content.mk	sel4: rename ld-sel4.lib.so to ld.lib.so in archive	2018-04-19 12:39:20 +02:00
hash	depot: update recipe hashes	2018-08-30 09:25:10 +02:00
used_apis	Depot-archive recipes	2017-05-31 13:15:56 +02:00

README

This archive contains the seL4-specific part of Genode.

It also contains the source code of the seL4 kernel in the
'src/kernel/sel4' directory.

Please note that seL4 has a license distinct from Genode. seL4's
license can be found at 'src/kernel/sel4/LICENSE_GPLv2.txt'.