If by "send information into QEMU" you mean generate packets
destined to the VM guest, then yes. Qemu has various options
for configuring the network interface. One option is to hook it up
to your host's tunnel interface. If you do this, you can send
packets directly from your host to your guest over the tunnel interface.
On Wed, Nov 16, 2016 at 4:59 PM, Andrew Gacek
Hi,
We are developing an seL4 application that will process UDP packets coming in over a network connection. Eventually, we'll be running this on real hardware with real drivers, but for now we are using QEMU. We have a python script that can generate packet payloads. Is there a way to send this information into QEMU so that we can develop our seL4 application without having the drivers and hardware in place? If it matters, we are using CAmkES as well.
Thanks, Andrew
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com