Christian Helmuth d6e41ae7e3 foc: do not accidentally delete boot directory ...

This partially reverts commit 7f7f8063dd
and adds the eager creation of the expected ARM boot directory.

2017-06-19 12:35:56 +02:00

..

fiasco

run: link all files in [run_dir]/genode to core

2017-05-31 13:15:56 +02:00

foc

foc: do not accidentally delete boot directory

2017-06-19 12:35:56 +02:00

hw

riscv: ISA-1.9.1 and GCC-6.3.0 adaptions

2017-05-31 13:16:24 +02:00

linux

run: link all files in [run_dir]/genode to core

2017-05-31 13:15:56 +02:00

nova

run: link all files in [run_dir]/genode to core

2017-05-31 13:15:56 +02:00

okl4

run: link all files in [run_dir]/genode to core

2017-05-31 13:15:56 +02:00

pistachio

run: link all files in [run_dir]/genode to core

2017-05-31 13:15:56 +02:00

sel4

run: link all files in [run_dir]/genode to core

2017-05-31 13:15:56 +02:00