genode/repos/dde_ipxe
Norman Feske 4d442bca30 Streamline exception types
This patch reduces the number of exception types by facilitating
globally defined exceptions for common usage patterns shared by most
services. In particular, RPC functions that demand a session-resource
upgrade not longer reflect this condition via a session-specific
exception but via the 'Out_of_ram' or 'Out_of_caps' types.

Furthermore, the 'Parent::Service_denied', 'Parent::Unavailable',
'Root::Invalid_args', 'Root::Unavailable', 'Service::Invalid_args',
'Service::Unavailable', and 'Local_service::Factory::Denied' types have
been replaced by the single 'Service_denied' exception type defined in
'session/session.h'.

This consolidation eases the error handling (there are fewer exceptions
to handle), alleviates the need to convert exceptions along the
session-creation call chain, and avoids possible aliasing problems
(catching the wrong type with the same name but living in a different
scope).
2017-05-31 13:16:07 +02:00
..
include/dde_ipxe Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01: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 Streamline exception types 2017-05-31 13:16:07 +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'.