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. <[email protected]> wrote: You don't often get email from [email protected]. Learn why this is important<https://aka.ms/LearnAboutSenderIdentification> "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 <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
