From 9bff8c454a86ed9fc878056e9e0b9a66b790489f Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Sun, 30 Jun 2013 13:44:40 +0200 Subject: [PATCH] ports-foc: Mention prepare step of dde_ipxe Thanks to Rudolf Weber for reporting. --- ports-foc/README | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ports-foc/README b/ports-foc/README index 9525cd6f11..d88d2fecd7 100644 --- a/ports-foc/README +++ b/ports-foc/README @@ -30,6 +30,10 @@ lines: ! REPOSITORIES += $(GENODE_DIR)/ports-foc ! REPOSITORIES += $(GENODE_DIR)/dde_ipxe +The dde_ipxe repository contains the networking drivers for Genode. Please make +sure that you have followed the preparation steps for this repository as +described in 'dde_ipxe/README'. + Optionally, add an appropriate '-j' option to the make command in the same file: ! MAKE += -j4