Hi,
I'm trying the camkes-vm-linux tutorial and can't run it in qemu despite
having nested guests enabled:
hugo@dev:~/seL4/sel4-tutorials-manifest/camkes-vm-linux_build$ cat
/sys/module/kvm_intel/parameters/nested
Y
---------
hugo@dev:~/seL4/sel4-tutorials-manifest/camkes-vm-linux_build$ sudo
./simulate --machine q35,accel=kvm,kernel-irqchip=split --mem-size 2G
--extra-cpu-opts "+vmx" --extra-qemu-args="-enable-kvm -device
intel-iommu,intremap=off -net nic,model=e1000 -net
tap,script=no,ifname=tap0"
./simulate: qemu-system-x86_64 -machine q35,accel=kvm,kernel-irqchip=split
-cpu
Nehalem,+vme,+pdpe1gb,-xsave,-xsaveopt,-xsavec,-fsgsbase,-invpcid,+syscall,+lm,enforce,+vmx
-nographic -serial mon:stdio -m size=2G -enable-kvm -device
intel-iommu,intremap=off -net nic,model=e1000 -net
tap,script=no,ifname=tap0 -kernel images/kernel-x86_64-pc99 -initrd
images/capdl-loader-image-x86_64-pc99 qemu-system-x86_64: warning: host
doesn't support requested feature: CPUID.80000001H:EDX.pdpe1gb [bit 26]
qemu-system-x86_64: warning: host doesn't support requested feature:
MSR(48FH).vmx-exit-load-perf-global-ctrl [bit 12]
qemu-system-x86_64: warning: host doesn't support requested feature:
MSR(490H).vmx-entry-load-perf-global-ctrl [bit 13]
qemu-system-x86_64: Host doesn't support requested features
./simulate: QEMU failed; resetting terminal in 5 seconds--interrupt to abort
---------
any tutorial to build/boot it natively on x86_64?
Thanks,