Dear seL4 Community, The Trustworthy Systems group is pleased to announce the release of a new community project for extending a proof-of-concept LionsOS-based firewall in the hope of turning it into a deployable system. More details at https://trustworthy.systems/news/#lionsos_firewall_release_25 Have fun! Gernot PS: Please ignore lawyerese below – out of my control :-( This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.