genode/tool/builddir/build.conf/run_kernel_imx6q_sabrelite
2019-01-30 13:35:28 +01:00

4 lines
40 B
Plaintext

# kernel to use (foc, hw)
KERNEL ?= hw