genode

History

Alexander Boettcher 5ca30b0318 platform_drv: disable PCI DMA class specific for such classes where it should be safe and where we have seen issues. Disabling in general bus master DMA causes on some machines hard hangs, e.g. because the USB handover protocol was violated. Fixes #2835		2018-06-12 12:11:40 +02:00
..
include/dde_ipxe	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
lib/mk	Exclude higher-level repos from strict warnings	2018-01-17 12:14:36 +01:00
patches	dde_ipxe: add pciid for I219-LM (found in T470p)	2018-04-19 12:38:23 +02:00
ports	Update stale port hash files	2018-05-03 15:31:53 +02:00
recipes	depot: update recipe hashes	2018-05-31 14:02:21 +02:00
src	platform_drv: disable PCI DMA class specific	2018-06-12 12:11:40 +02:00
README	tool: remove deprecated 'make prepare' mechanism	2016-03-17 17:02:04 +01:00

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