mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
* 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'