genode/tool/run/boot_dir
Christian Helmuth 28c25f120e run: save [run_dir].config also on hw and linux
This was missing as boot_dir/hw and boot_dir/linux do not use
`proc build_core_image`.
2019-02-28 11:34:07 +01:00
..
fiasco run: add support to preserve 'genode' directory 2018-08-02 14:36:46 +02:00
foc foc: prevent region overlap on i.MX6 Sabrelite 2019-02-19 11:08:17 +01:00
hw run: save [run_dir].config also on hw and linux 2019-02-28 11:34:07 +01:00
linux run: save [run_dir].config also on hw and linux 2019-02-28 11:34:07 +01: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 replace Wandboard by i.MX6 reference board 2019-01-30 13:35:28 +01:00