ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-27 17:18:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
2efc64ace7
genode/tool/run/boot_dir
History
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