genode/repos/base-foc/recipes/src/base-foc-imx7d_sabre
2024-06-20 12:59:00 +02:00
..
content.mk kernel: differentiate board-specific components 2019-05-27 14:46:52 +02:00
hash depot: update recipe hashes 2024-06-20 12:59:00 +02:00
README depot: add recipe for base-foc-imx7d_sabre 2019-05-06 16:15:26 +02:00
used_apis depot: add recipe for base-foc-imx7d_sabre 2019-05-06 16:15:26 +02:00

This archive contains the Fiasco.OC-specific part of Genode.

It also contains the source code of the Fiasco.OC kernel in the
'src/kernel/foc' directory.

Please note that Fiasco.OC has a license distinct from Genode. Fiasco.OC's
license can be found at 'src/kernel/foc/COPYING-GPL-2'.