Announcing beta.sel4.systems running on LionsOS
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
"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
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
The process is almost identical to building and deploying the Kitty
example system[1]. You will need to specify an additional environment
variable WWW_DIR, which specifies the location of the website's files
on the NFS share.
[1] https://lionsos.org/docs/kitty/
James
On 10 Jul 2024, at 11:31 PM, Hugo V.C.
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
Right now, there is no documentation for the web server. Like James said, some of the documentation for the Kitty reference system applies, but we should really have a page talking about the web server. We are working on having improved documentation for the next LionsOS release, and the web server docs will be included in that. Ivan
participants (3)
-
Hugo V.C. -
Ivan Velickovic -
James Archer