>>>>> "Michael" == Michael Neises <neisesmich...@gmail.com> writes:
Michael> When I try to run "./simulate" I get the following error: Michael> ./simulate: qemu-system-x86_64 -cpu Michael> Nehalem,+vme,+pdpe1gb,-xsave,-xsaveopt,-xsavec,-fsgsbase,-invpcid,+syscall,+lm,enforce Michael> -nographic -serial mon:stdio -m size=512M -kernel Michael> images/kernel-x86_64-pc99 -initrd Michael> images/capdl-loader-image-x86_64-pc99 qemu-system-x86_64: Michael> warning: TCG doesn't support requested feature: Michael> CPUID.01H:EDX.vme [bit 1] qemu-system-x86_64: TCG doesn't Michael> support requested features You probably don't need VME, so try removing it from the qemu -cpu line (it provides 8086-mode virtualisation). Alternatively, add `-enable-kvm` to use passthrough instead of TCG mode. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
