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

-- Seth James Nielson, PhD Founder & Chief Scientist Crimson Vista, Inc. ‪(512) 387-4310 -- IMPORTANT - This electronic message transmission and any attachment contains information that may be confidential or privileged. The information contained herein is intended solely for the recipient and use by any other party is not authorized. If you are not the intended recipient (or otherwise authorized to receive this message by the intended recipient), any review, disclosure, copying, distribution, or other use of, or taking of action in reliance upon, the contents of the information is prohibited. If you have received this electronic message transmission in error, please contact the sender by reply email and delete all copies of this message. Crimson Vista Inc. accepts no responsibility for any loss or damage resulting directly or indirectly from the use of this email or its contents. Thank You.