?Hey Thad,
Thanks for catching that: it turns out that we weren't passing -nostdlib to the
linker when linking the ELFLoader, so the cross-toolchain's linker was trying
to link the ELFLoader against the cross toolchain's libc, but it shouldn't be
doing that and it should instead be using our
Hi Mike,
I am aware of this guide:
https://github.com/GaloisInc/rustwall_vm/blob/32cd73ccb20357e1337b5420707504d6eff5c328/HOWTO_QEMU.md
It has instructions for setting up qemu to be able to run simulations that
require VT-x/d features. However it requires changes to the host kernel.