On recent news, LionsOS, as of about a week ago (I got notified via their announcement maillist), includes a router/firewall scenario[0]. Do not miss Gernot He

On recent news, LionsOS, as of about a week ago (I got notified via their announcement maillist), includes a router/firewall scenario[0]. Do not miss Gernot Heiser's recent talk[1] at the seL4 Summit, where among other things he shows seL4 massively outperforming Linux in a web server scenario. 0. https://lionsos.org/docs/examples/firewall/ https://lionsos.org/docs/examples/firewall/ 1. https://youtu.be/wP48V34lDhk https://youtu.be/wP48V34lDhk