Re: [seL4] Send input to seL4 in QEMU

What I'm really wondering is how do I read this information on the seL4 side? Are there qemu serial/uart/network drivers available for seL4? I suppose the easiest thing would be if I could open a serial connection that I can write to on the host Linux side and somehow read from a corresponding serial driver on the seL4 guest side. I've started looking through the qemu documentation, but it's been slow going. And I think the seL4 side will be the harder part for me to figure out. -Andrew On Wed, Nov 16, 2016 at 9:40 PM, Tim Newsham wrote:

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 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