mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 07:22:25 +00:00
a1ff3cc317
* In base-foc/recipes/src/ replace base-foc with base-foc-pc * To base-foc/recipes/src add base-foc-arndale, base-foc-pbxa9 * Ensure that the correct base-foc recipe is choosen by the run module 'boot_dir/foc' |
||
---|---|---|
.. | ||
fiasco | ||
foc | ||
hw | ||
linux | ||
nova | ||
okl4 | ||
pistachio | ||
sel4 |