genode/repos/dde_ipxe
Josef Söntgen 27491fe7b4 dde_ipxe: increase RXD and TXD for Intel NICs
The default iPXE settings of 8 (RXD) and 16 (TXD) lead to issues when
AMT is enabled. In most other OS drivers those descriptors are set
to 256, let us do the same. This should fix all observed issues wrt.
AMT.

Fixes #2108.
2016-10-21 12:39:30 +02:00
..
include/dde_ipxe net: move MAC and IPV4 address to NET namespace 2016-08-29 17:29:38 +02:00
lib/mk dde_ipxe: remove (non-working) pcnet driver 2016-06-28 11:09:27 +02:00
patches dde_ipxe: increase RXD and TXD for Intel NICs 2016-10-21 12:39:30 +02:00
ports dde_ipxe: increase RXD and TXD for Intel NICs 2016-10-21 12:39:30 +02:00
src Define Genode::size_t as unsigned long 2016-10-21 12:39:29 +02:00
README tool: remove deprecated 'make prepare' mechanism 2016-03-17 17:02:04 +01:00

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'.