From ac13cddb18dd1b414c7f6799506bda11b7b136c7 Mon Sep 17 00:00:00 2001
From: Marco Yuen <marcoy@cs.princeton.edu>
Date: Tue, 20 Dec 2011 16:08:28 -0500
Subject: [PATCH] Build firmware

---
 planetlab.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/planetlab.mk b/planetlab.mk
index 342da81f..9356c967 100644
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -36,9 +36,9 @@ kernel-SPEC := kernel-3.1.spec
 kernel-DEVEL-RPMS += gettext elfutils-devel
 kernel-BUILD-FROM-SRPM := yes
 ifeq "$(HOSTARCH)" "i386"
-kernel-RPMFLAGS:= --target i686
+kernel-RPMFLAGS:= --target i686 --with firmware
 else
-kernel-RPMFLAGS:= --target $(HOSTARCH)
+kernel-RPMFLAGS:= --target $(HOSTARCH) --with firmware
 endif
 kernel-SPECVARS += kernelconfig=planetlab
 KERNELS += kernel
-- 
2.43.0