"PX" == PX seawolf.peng@gmail.com writes:
PX> Hi,All I am trying to build the seL4 VMM example for the PX> qemu-arm-virt platform from seL4/camkes-vm-exmaples. I can build PX> the vmm image successfully, but I cannot run the image. Here are PX> what I did: 1. I use the PX> "../init-build.sh -DCAMKES_VM_APP=vm_minimal -DPLATFORM=qemu-arm-virt" PX> command.
I'm seeing the same issue. It looks like a NULL pointer reference. FWIW the CI runs on real hardware are succeeding. It's _meant_ to work ... will chase on Monday.