Stefan Kalkowski bad002acb1 hw: link core with debug symbols optionally ...

This commit changes the semantic of run_boot_dir to link a core
binary with debug symbols only when the designated library is in place.

Follow-up fix refering to issues #2339 and #2700

2018-03-08 12:05:06 +01:00

..

fiasco

tool: use grub2 instead of grub1 for iso boot

2017-11-30 11:23:01 +01:00

foc

tool: use grub2 instead of grub1 for iso boot

2017-11-30 11:23:01 +01:00

hw

hw: link core with debug symbols optionally

2018-03-08 12:05:06 +01:00

linux

run: use absolute path for symlinks in linux run dir

2017-08-18 10:24:48 +02:00

nova

tool: use grub2 instead of grub1 for iso boot

2017-11-30 11:23:01 +01:00

okl4

okl4: support run script name containing "core"

2017-12-21 15:01:46 +01:00

pistachio

tool: use grub2 instead of grub1 for iso boot

2017-11-30 11:23:01 +01:00

sel4

sel4: add mbi2 framebuffer support

2017-11-30 11:23:09 +01:00