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