ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-11 21:45:37 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-pistachio/recipes/src/base-pistachio
History
Christian Helmuth cd6701c483 depot: update recipe hashes
2024-12-11 08:35:22 +01:00
..
content.mk
Remove '_drv' suffix
2024-06-20 12:54:30 +02:00
hash
depot: update recipe hashes
2024-12-11 08:35:22 +01: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 L4ka::Pistachio-specific part of Genode.

It also contains the source code of the Pistachio kernel in the
src/kernel/pistachio directory.

Please note that Pistachio has a license distinct from Genode. Pistachio's
license can be found at 'src/kernel/pistachio/README'.