[seL4] Camkes and native tcp/ip and networking

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