From 995d005d842bc9f6d0fd73383cd1643f6b0e18ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Thu, 16 Aug 2018 12:35:14 +0100
Subject: [PATCH] linux_hardkernel_4_14: restrict platforms to armv7l-linux

---
 pkgs/os-specific/linux/kernel/linux-hardkernel-4.14.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/kernel/linux-hardkernel-4.14.nix b/pkgs/os-specific/linux/kernel/linux-hardkernel-4.14.nix
index 3fc08e642871..53d8accb1856 100644
--- a/pkgs/os-specific/linux/kernel/linux-hardkernel-4.14.nix
+++ b/pkgs/os-specific/linux/kernel/linux-hardkernel-4.14.nix
@@ -6,7 +6,7 @@ buildLinux (args // rec {
   # modDirVersion needs to be x.y.z.
   modDirVersion = "4.14.55";
 
-  # branchVersion needs to be x.y. 
+  # branchVersion needs to be x.y.
   extraMeta.branch = "4.14";
 
   src = fetchFromGitHub {
@@ -28,4 +28,6 @@ buildLinux (args // rec {
 
   '' + (args.extraConfig or "");
 
+  extraMeta.platforms = [ "armv7l-linux" ];
+
 } // (args.argsOverride or {}))