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

4 lines
48 B
Plaintext

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