mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
An installed lighttpd HTTP server can now optionally be started to serve the boot image with the follow run options. --load-ipxe-lighttpd run lighttpd automatically (default: off) --load-ipxe-lighttpd-port <port> TCP port to run lighttpd on (default: 8080)