genode/tool/builddir
Norman Feske ef732f480f mk: pass KERNEL as environment variable
This is a follow-up fix for "mk/ld.mk: trigger kernel-dependent
ld.lib.so build", which alleviates the need to specify the KERNEL at the
build-system command line. Thanks to Piotr Tworek for reporting.

Issue #4320
2022-02-21 15:44:22 +01:00
..
build.conf Introduce pc repository for PC board support 2022-02-15 10:23:16 +01:00
build.mk mk: pass KERNEL as environment variable 2022-02-21 15:44:22 +01:00