genode/base-foc/run
Sebastian Sumpf 805d5050f7 base-foc: Generate u-boot image if 'uboot' SPEC is set 2013-02-25 16:45:48 +01:00
..
env base-foc: Generate u-boot image if 'uboot' SPEC is set 2013-02-25 16:45:48 +01:00