genode/tool/builddir/etc/build.conf.hw_x86_64_muen

REPOSITORIES += $(GENODE_DIR)/repos/base-hw

##
## Kernel-specific run tool configuration
##

RUN_OPT = --include boot_dir/hw --include image/iso
hw: skeleton for building x86_64_muen 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 2015-04-14 12:12:15 +02:00			`REPOSITORIES += $(GENODE_DIR)/repos/base-hw`

			`##`
			`## Kernel-specific run tool configuration`
			`##`

hw_x86_64_muen: Drop QEMU related RUN_OPTS This platform does not support execution on QEMU. 2015-08-25 23:42:31 +02:00			`RUN_OPT = --include boot_dir/hw --include image/iso`