Announcing beta.sel4.systems running on LionsOS
10 Jul
2024
10 Jul
'24
2:55 p.m.
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
622
Age (days ago)
623
Last active (days ago)
3 comments
3 participants
participants (3)
-
Hugo V.C. -
Ivan Velickovic -
James Archer