[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>

diff --git a/src/Makefile b/src/Makefile
index 284a6569f6175bff69f8369b51a3b026163b7c7c..c0bc45fa6e470303a79ac1f8c5fdf96796304ad4 100644 (file)
--- 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