From c79ffc5c79f2c969eef5fbbabc7b912571e39bb7 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 30 Oct 2017 13:47:19 +0100
Subject: [PATCH] dde_ipxe: build for x86 only

Fixes #2666
---
 repos/dde_ipxe/src/drivers/nic/target.mk | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/repos/dde_ipxe/src/drivers/nic/target.mk b/repos/dde_ipxe/src/drivers/nic/target.mk
index 4c24b5e60f..c12de8dd84 100644
--- a/repos/dde_ipxe/src/drivers/nic/target.mk
+++ b/repos/dde_ipxe/src/drivers/nic/target.mk
@@ -1,5 +1,6 @@
-TARGET = nic_drv
-LIBS   = base dde_ipxe_nic
-SRC_CC = main.cc
+TARGET   = nic_drv
+REQUIRES = x86
+LIBS     = base dde_ipxe_nic
+SRC_CC   = main.cc
 
 CC_CXX_WARN_STRICT =