mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 18:47:01 +00:00
8 lines
305 B
Plaintext
8 lines
305 B
Plaintext
# local varible for run-tool arguments that depend on the used kernel
|
|
KERNEL_RUN_OPT(nova) := $(QEMU_RUN_OPT)
|
|
KERNEL_RUN_OPT(hw) := $(QEMU_RUN_OPT)
|
|
KERNEL_RUN_OPT(sel4) := $(QEMU_RUN_OPT)
|
|
KERNEL_RUN_OPT(foc) := $(QEMU_RUN_OPT)
|
|
KERNEL_RUN_OPT(linux) := --include power_on/linux --include log/linux
|
|
|