Martin Stein 91a8c8975d run: provide core image with path information ... Previously, the debugging version of the core image (<build_dir>/var/run/<run_name>.core) was created by the run tool from the common core object file (<build_dir>/var/run/<run_name>/core-<kernel>.o). This object file, however, was already stripped by the build system and thus didn't contain debug info anymore. The build system also creates an unstripped version in <build_dir>/debug/core-<kernel>.o, so we now use this one for <build_dir>/var/run/<run_name>.core. Ref #2254		2017-05-31 13:16:07 +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: provide core image with path information	2017-05-31 13:16:07 +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