15 Jul
2021
15 Jul
'21
7:58 p.m.
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
1702
Age (days ago)
1714
Last active (days ago)
3 comments
4 participants
participants (4)
-
Alexander Fasching -
Amirreza Zarraby -
Hugo V.C. -
Kent Mcleod