ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-26 14:19:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-pistachio/recipes/src/base-pistachio
History
Christian Helmuth 73771669f1 depot: update recipe hashes
2023-03-13 14:32:54 +01:00
..
content.mk
Remove pseudo targets for building shared libs
2022-09-19 14:00:32 +02:00
hash
depot: update recipe hashes
2023-03-13 14:32:54 +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'.