From 364a2158a4b6634abdba9aa2c8c42b212eb9490b Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Sat, 18 Jan 2014 13:03:50 +0100
Subject: [PATCH] base-system: allow generic armv7l for now.

---
 srcpkgs/base-system/template | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/srcpkgs/base-system/template b/srcpkgs/base-system/template
index 431b2724544..7d5d6052e3a 100644
--- a/srcpkgs/base-system/template
+++ b/srcpkgs/base-system/template
@@ -21,6 +21,8 @@ case "$XBPS_TARGET_MACHINE" in
 	x86_64) makedepends+=" grub-x86_64-efi";;
 	# XXX only for Raspberry Pi
 	armv6l) makedepends+=" rpi-base-files rpi-firmware";;
+	# XXX generic armv7 without linux kernel/platform files.
+	armv7l) ;;
 	*) msg_error "${pkgname}-${version}: unsupported target machine.\n";;
 esac