Stefan Kalkowski 1d0e063f49 base-sel4: recipe for Wandboard platform ...

* Allow depot_autopilot to be run on top of sel4/wand_quad too (Ref #3027)

2019-01-07 12:25:44 +01:00

..

fiasco

run: add support to preserve 'genode' directory

2018-08-02 14:36:46 +02:00

foc

base-foc: recipes for ARMv7a platforms

2018-11-16 14:37:47 +01:00

hw

hw: add src package for base-hw-zynq_qemu

2019-01-07 12:25:43 +01:00

linux

run: use absolute path for symlinks in linux run dir

2017-08-18 10:24:48 +02:00

nova

run: add microcode chain bootloader to nova

2018-08-28 16:48:43 +02:00

okl4

run: add support to preserve 'genode' directory

2018-08-02 14:36:46 +02:00

pistachio

run: add support to preserve 'genode' directory

2018-08-02 14:36:46 +02:00

sel4

base-sel4: recipe for Wandboard platform

2019-01-07 12:25:44 +01:00