ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-01 15:10:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
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