8 Jun
2021
8 Jun
'21
3:29 a.m.
Sounds goofd Olof, I'll give it a try. Thank you!
El lun, 7 jun 2021 a las 19:13, Olof Holmberg (
Hi Hugo,
I believe that this is the script that gets added as S91lighttpd: https://github.com/seL4/sel4webserver/blob/master/lighttpd/lighttpd.sh
If you want more details of how lighttpd is built and overlayed you can check the cmake file: https://github.com/seL4/sel4webserver/blob/master/lighttpd/Findlighttpd.cmak...
Regards, Olof _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems