Hi. I am mentoring a student group trying to do some work on SEL4. 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.
Thanks much.
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
Thank you so much for your quick and helpful response! We will look into this immediately!!!
On Wed, Mar 30, 2022 at 10:29 AM Axel Heider axelheider@gmx.de wrote:
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
-
Axel Heider -
Seth Nielson