mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 14:37:50 +00:00
f6d195a9de
In order to perform a smooth transition from NIC drivers that act only as NIC session clients to NIC drivers that act only as Uplink session clients, this commit introduces an intermediate state in which all NIC drivers support both modes. That said, a NIC drivers mode is now statically determined through a new optional 'mode' attribute in the drivers <config> tag that can be set to either 'nic_server' (default value) or 'uplink_client'. Reconfiguring this attribute at a driver doesn't have any effects. Whithout this attribute being set, all NIC drivers will behave the same as they did before the commit. When set to 'uplink_client', however, instead of providing a Nic service, they request an Uplink session whenever their network interface becomes "UP" and close the session whenever their network interface becomes "DOWN". Ref #3961 |
||
|---|---|---|
| .. | ||
| include/dde_ipxe | ||
| lib/mk | ||
| patches | ||
| ports | ||
| recipes | ||
| src | ||
| README | ||
This repository contains the Device Driver Environment for the "donator OS" iPXE available from http://ipxe.org/. For building DDE iPXE, you first need to fetch and patch the original sources. The 'prepare_port' tool automates this task. Just issue: ! ./tool/ports/prepare_port dde_ipxe Now, you need to include the DDE iPXE repository into your Genode build process. Just add the path to this directory to the 'REPOSITORIES' declaration of the 'etc/build.conf' file within your build directory, for example ! REPOSITORIES += $(GENODE_DIR)/repos/dde_ipxe After successful build the DDE iPXE based ethernet driver is located at 'bin/nic_drv'.