From 1d44d8b8c3a8bd094846a55042e5fb123d6c6260 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Thu, 23 Jan 2014 13:32:39 +0100
Subject: [PATCH] linux: drop arm specific settings, this is x86-only for now.

---
 srcpkgs/linux/template | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/srcpkgs/linux/template b/srcpkgs/linux/template
index a184a3cee95..f97352a9e0d 100644
--- a/srcpkgs/linux/template
+++ b/srcpkgs/linux/template
@@ -1,7 +1,7 @@
 # Template file for 'linux'
 pkgname=linux
 version=3.10
-revision=1
+revision=2
 build_style=meta
 homepage="http://www.voidlinux.eu/"
 short_desc="Linux kernel meta package"
@@ -14,16 +14,6 @@ case "$XBPS_TARGET_MACHINE" in
 		depends="linux3.10"
 		_depends_headers="linux3.10-headers"
 		;;
-	armv6l*)
-		makedepends="kernel-rpi"
-		depends="kernel-rpi"
-		_depends_headers="kernel-rpi-headers"
-		;;
-	armv7l*)
-		makedepends="kernel-odroid-u2 linux-firmware dracut"
-		depends="kernel-odroid-u2"
-		_depends_headers="kernel-headers-odroid-u2"
-		;;
 	*) msg_error "${pkgname}-${version}: unsupported target machine.\n";;
 esac