From c63ef427a2b18d318b313a4adf6267bb4dfa0c1c Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Fri, 2 Aug 2019 11:57:35 +0100
Subject: [build] Add predefined shortcut for Raspberry Pi builds

Add a build shortcut "rpi", allowing for e.g.

  make CONFIG=rpi CROSS=aarch64-linux-gnu- bin-arm64-efi/rpi.efi

Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Makefile b/src/Makefile
index 284a6569..c0bc45fa 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -229,6 +229,10 @@ version :
 DRIVERS_ipxe	= $(DRIVERS_net) $(DRIVERS_infiniband) \
 		  $(DRIVERS_xen) $(DRIVERS_hyperv)
 
+# Raspberry Pi
+#
+DRIVERS_rpi	= smsc95xx lan78xx
+
 ###############################################################################
 #
 # Drag in the bulk of the build system
-- 
cgit v1.2.3-55-g7522