Seth, > We are trying to setup basic TCP/IP networking and are really > struggling to find documentation or up-to-date guides. We found a > project that has networking (it even has some filesystem and a small > webserver as part of the project). We thought we just about had the > networking component working for QEMU but there seems to be issues > with QEMU and networking, at least the way we did it. Does anyone > have any how-to guides for getting basic networking up and running? > If QEMU is not great for networking, please suggest a development > board.
You can use the QEMU that emulates the i.MX6 sabrelite board. There is an seL4 native ethernet driver available that works also in QEMU, see https://github.com/seL4/util_libs/tree/master/libethdrivers. There is also some activity on adding a new CAmkES demo that uses LWIP as network stack, see https://github.com/seL4/camkes/pull/25. Axel _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
