ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 14:37:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
b99d91b96e
genode/repos/ports/recipes/pkg/lighttpd
History
Christian Helmuth b99d91b96e 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-04-12 12:55:38 +02:00
..
archives lighttpd: pkg recipe for easy runtime instantiation 2024-04-12 12:55:38 +02:00
hash lighttpd: pkg recipe for easy runtime instantiation 2024-04-12 12:55:38 +02:00
README lighttpd: pkg recipe for easy runtime instantiation 2024-04-12 12:55:38 +02:00
runtime lighttpd: pkg recipe for easy runtime instantiation 2024-04-12 12:55:38 +02:00

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.