dcd20f1566
The hw_x86_64_muen platform is a x86/64 base-hw kernel which runs as isolated subject (guest) on the Muen Separation Kernel (SK) [1]. The platform is implemented as an extension to hw_x86_64 replacing the PIC and timer drivers with paravirtualized variants. The skeleton contains a dummy PIC and timer implementation for now. [1] - http://muen.sk
10 lines
202 B
Plaintext
10 lines
202 B
Plaintext
REPOSITORIES += $(GENODE_DIR)/repos/base-hw
|
|
|
|
##
|
|
## Kernel-specific run tool configuration
|
|
##
|
|
|
|
RUN_OPT = --include boot_dir/hw \
|
|
--include power_on/qemu --include log/qemu --include image/iso
|
|
|