I think I have something working now. Here's the steps I took.
1. Create a pipe file in Linux: "mkfifo uart2"
2. In my Client.camkes file I have:
component Client {
control;
uses Simple a;
// Hardware interface
dataport Buf vaddr;
consumes DataAvailable
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
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
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
