>>>>> "Michael" == Michael Neises <neisesmich...@gmail.com> writes:
Michael> All said, when I enter the Docker container and do: sudo Michael> ./simulate --machine q35,accel=kvm,kernel-irqchip=split Michael> --mem-size 2G --extra-cpu-opts "+vmx" Michael> --extra-qemu-args="-enable-kvm -device Michael> intel-iommu,intremap=off -net nic,model=e1000 -net Michael> tap,script=no,ifname=tap0" Maybe run just the simulate part on the host ? You can use the docker image to build, and test it outside the image. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
