genode/tool/run/boot_dir
Sebastian Sumpf f68e655312 mk: link core to library archive instead of .o file
Do not link base and core libraries into on large relocatable .o file,
which is linked later to core - causing long link times. Create an
independent library archive out of the base and core libraries that can
be linked faster.

issue #4027
2021-02-23 12:17:04 +01:00
..
fiasco mk: link core to library archive instead of .o file 2021-02-23 12:17:04 +01:00
foc mk: link core to library archive instead of .o file 2021-02-23 12:17:04 +01:00
hw mk: link core to library archive instead of .o file 2021-02-23 12:17:04 +01:00
linux run: introduce have_board helper function 2021-01-25 13:58:09 +01:00
nova mk: link core to library archive instead of .o file 2021-02-23 12:17:04 +01:00
okl4 mk: link core to library archive instead of .o file 2021-02-23 12:17:04 +01:00
pistachio mk: link core to library archive instead of .o file 2021-02-23 12:17:04 +01:00
sel4 mk: link core to library archive instead of .o file 2021-02-23 12:17:04 +01:00