[seL4] Re: Camkes and native tcp/ip and networking

+1 Please share results. El jue., 15 jul. 2021 12:19, Amirreza Zarraby <amrzar@gmail.com> escribió:

Hello seL4 team,

I am try trying to use camkes to write a simple firewall. I am wondering if you can direct me to any existing camkes project which uses tcp/ip and network driver that I can look into as starting point. There is a seL4 based webserver but it seems to use vm and Linux.

Thank you for your time.

- Amir _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems