Hello,

I am seeing a weird issue with the CAmkES-VM. Just last week, I was able to run the VM successfully using the “minimal” version.

I followed these steps:

$ repo init -u https://github.com/seL4/camkes-vm-examples-manifest.git

$ repo sync

$ mkdir test && cd test

$ ../init-build.sh -DCAMKES_VM_APP=minimal

$ ninja

Everything compiles correctly.

I then had to use ccmake .. to switch the FPU save method to FXSAVE before recompiling.

My QEMU command is:

$ qemu-system-x86_64 -m 512 -kernel images/kernel-ia32-pc99 -initrd images/capdl-loader-image-ia32-pc99 --enable-kvm -smp 1 -cpu Nehalem,+vmx –nographic

My QEMU version is:

$ qemu-system-x86_64 --version

QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.32), Copyright (c) 2003-2008 Fabrice Bellard

And I’m running on Ubuntu 16.04.

I get as far as:

[    1.930000] clocksource: Switched to clocksource pit

[    2.274669] VFS: Disk quotas dquot_6.6.0

[    2.324891] VFS: Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)

[    2.463451] hugetlbfs: disabling because there are no supported hugepage sizes

[    2.562973] random: fast init done

After that, everything just runs extraordinarily slowly, or ends up stalling out completely. This is a change from a couple weeks previously, were I could get to the login prompt within ~10s using the minimal VM configuration.

Has anything changed in the past few weeks that would have caused this?

Thanks,

Chris