Norman Feske 015d319fa7 run: link all files in [run_dir]/genode to core ...

This way, files copied from the depot are incorporated in addition to
the files explicitly specified as boot modules.

The patch also adds an automatic check for the validity of the XML
syntax of boot modules ending with '.config'.

Issue #2339

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

..

fiasco

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

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

foc

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

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

hw

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

2017-05-31 13:15:56 +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