mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 01:58:55 +00:00
.. | ||
content.mk | ||
hash | ||
README | ||
used_apis |
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'.