[seL4] Trustworthy Systems releases LionsOS based firewall as a community project

Hi all TS is proud to announce the release of a new proof-of-concept firewall running on LionsOS. You can find more details in the announcement on the TS website here<https://trustworthy.systems/content/news/#lionsos_firewall_release_25>. We are aiming to make this a collaborative project with the community! 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.