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 <andrew.gacek@gmail.com> wrote:

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