genode/tool/builddir/build.conf/run_kernel_x86_64

4 lines
65 B
Plaintext
Raw Normal View History

2017-06-22 16:47:02 +00:00
# kernel to use (nova, hw, sel4, linux, or foc)
#KERNEL ?= nova