[seL4] Re: Tutorial Problem

30 Jun 2021

      ...
...
...
...
...
"Michael" == Michael Neises  writes:
Michael> Peter, When I try to remove vme from the -cpu line, I get the
Michael> following error at simulation time:

OK, so you need nested virtualisation.    That's not supported in
code-translation mode, only when you're using the KVM kernel module.

The message you got was about the simulated CPU, not your host.
If you can enable KVM, qemu will pass through your host to the
simulation.

Looks like you have the kernel packages installed, now you need to
make sure that:
 1, The version of qemu you're using supports KVM, and
 2. you have permissions to use KVM.

The first is easy.  On Debian-derived systems (debian, ubuntu, mint,
etc)
   sudo apt install qemu-kvm
should do the trick.  Similarly
   sudo yum install qemu-kvm
on Redhat-derived systems.

The second is a little harder.  Do
  ls -l /dev/kvm

You'll see something like

crw-rw----+ 1 root kvm 10, 232 Jun 30 09:13 /dev/kvm

if kvm is installed. The second username (in this case, 'kvm') is the
group you need to be in.  Do
  sudo useradd your-login kvm

(replacing 'kvm' with the actual group /dev/kvm is in, and
'your-login' with you local login name.)

qemu-system-x86_84 -enable-kvm should then work.

Peter C
-- 
Dr Peter Chubb                https://trustworthy.systems/
Trustworthy Systems Group                        CSE, UNSW