Files
genode/tool/builddir/build.conf/run_kernel_wand_quad

4 lines
48 B
Plaintext

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