genode/tool/builddir/build.conf/run_opt_x86_32

10 lines
415 B
Plaintext
Raw Normal View History

# local varible for run-tool arguments that depend on the used kernel
KERNEL_RUN_OPT(nova) := $(QEMU_RUN_OPT)
KERNEL_RUN_OPT(sel4) := $(QEMU_RUN_OPT)
KERNEL_RUN_OPT(foc) := $(QEMU_RUN_OPT)
KERNEL_RUN_OPT(okl4) := $(QEMU_RUN_OPT)
KERNEL_RUN_OPT(fiasco) := $(QEMU_RUN_OPT)
KERNEL_RUN_OPT(pistachio) := $(QEMU_RUN_OPT)
KERNEL_RUN_OPT(linux) := --include power_on/linux --include log/linux