genode/repos/ports/recipes/pkg/lighttpd/README

HTTP server to be deployed in runtime.

- Required Nic session should be routed to nic_router "http" domain for use
  forwarded port 80
- File_system session labeled "webroot" can be routed to any server by
  relabeling, e.g., "report" or "config" in parent.
lighttpd: pkg recipe for easy runtime instantiation The package depends on two resources. - A Nic session should be routed to the nic_router "http" domain make the HTTP server available from the outside on forwarded port 80. - A File_system session labeled "webroot" can be routed to any server by relabeling the session, e.g., to "report" or "config" in parent. Sculpt deploy exmaple exporting report_fs via HTTP. <start name="lighttpd" pkg="lighttpd"> <route> <service name="Nic"> <child name="nic_router" label="http"/> </service> <service name="File_system" label="webroot"> <parent label="report"/> </service> </route> </start> 2024-03-05 13:48:25 +00:00			`HTTP server to be deployed in runtime.`

			`- Required Nic session should be routed to nic_router "http" domain for use`
			`forwarded port 80`
			`- File_system session labeled "webroot" can be routed to any server by`
			`relabeling, e.g., "report" or "config" in parent.`