Sebastian Sumpf b6bc44fd10 run: add support to preserve 'genode' directory ... Add '--preserve-genode-dir' to RUN_OPT in order to preserve the 'genode' directory in '<build_dir>/var/run/<run-script>'		2018-08-02 14:36:46 +02:00
..
fiasco	run: add support to preserve 'genode' directory	2018-08-02 14:36:46 +02:00
foc	run: add support to preserve 'genode' directory	2018-08-02 14:36:46 +02:00
hw	run: add support to preserve 'genode' directory	2018-08-02 14:36:46 +02:00
linux	run: use absolute path for symlinks in linux run dir	2017-08-18 10:24:48 +02:00
nova	run: add support to preserve 'genode' directory	2018-08-02 14:36:46 +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	run: add support to preserve 'genode' directory	2018-08-02 14:36:46 +02:00