[seL4] Re: Tutorial Problem

...

...

...

...

"Michael" == Michael Neises 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