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
Yep the size of a word_t (the equivalent of seL4_Word in the kernel) has many
assumptions being large enough to hold a pointer. As a result you can rely on
seL4_Word always being the size of a pointer. This isn't a guarantee that it
will be the same type as uintptr_t, but it will be at least
I guess this is a somewhat philosophical question. It's come up a bit in
the Rust libs I've been writing. Casting from pointer-sized things to
*specifically* u32/u64 is bit tiresome for the places where I can't
abstract over that.
--
cmr
http://octayn.net/
+16038524272
signature.asc
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