[seL4] Re: Announcing beta.sel4.systems running on LionsOS

"Any feedback or attempts to break it are welcome." Any easy tutorial to deploy this webserver demo? On Wednesday, July 10, 2024, James Archer via Devel wrote:

Trustworthy Systems is now serving a copy of the seL4.systems website from a beta LionsOS-based[1] webserver. It can be accessed at https://beta.sel4.systems/.

The source code can be found in the LionsOS repository[2]. More information about the implementation can be found at https://beta.sel4.systems/Info/Website/.

Any feedback or attempts to break it are welcome.

[1] https://lionsos.org/ [2] https://github.com/au-ts/lionsos

James _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems