[seL4] Re: picoserver and qemu

Thanks, Peter, but it still doesn't work. It must be something really easy, but I am not able to find it: sudo ./simulate --machine q35,accel=kvm,kernel-irqchip=split --mem-size 2G --extra-cpu-opts "+vmx" --extra-qemu-args="--enable-kvm -device intel-iommu,intremap=on,caching-mode=on -netdev user,id=network0,net=192.168.0.21/24,hostfwd=tcp::1234-:1234 -device e1000e,netdev=network0"