Hello Indan,
Thanks for the quick response!
I've tried with both VMs individually, and they work fine. Some of the curious
things that I found doing more tests are that:
- Changing the level_trig option to 0 resolves both the freeze and error that
appear, but one of the VMs still doesn't work with the NIC.
- I found that the working VM, the one that works well with the NIC, is the one
that has the major "dest" number. Maybe it is a sort of priority thing in seL4
sharing IRQ11 for both VMs.
I was able to have a different IRQ to each NIC in QEMU by using different
addresses for the devices (0x3 and 0x4), and both VMs worked perfectly, even
when using the same IOAPIC. Here is the QEMU command I used:
sudo qemu-system-x86_64 \
-machine q35,accel=kvm \
-cpu host \
-m 2G \
-kernel camkes-vm-examples-manifest/build_zmq/images/kernel-x86_64-pc99 \
-initrd
camkes-vm-examples-manifest/build_zmq/images/capdl-loader-image-x86_64-pc99 \
-nographic \
-serial mon:stdio \
-device intel-iommu,intremap=off \
-device e1000e,mac=00:00:00:00:00:01,id=network0.0,netdev=network0,addr=0x3
\
-netdev tap,ifname=tap_inA,id=network0,script=no,downscript=no \
-device e1000e,mac=00:00:00:00:00:02,id=network1.0,netdev=network1,addr=0x4
\
-netdev tap,ifname=tap_outA,id=network1,script=no,downscript=no
Greetings,
Albert
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
