From c8502034872878c85dcd1d8294eb1b5aa8073536 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Wed, 6 Apr 2016 12:42:45 +0100
Subject: [PATCH] linuxHeaders: add platforms

---
 pkgs/os-specific/linux/kernel-headers/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel-headers/default.nix b/pkgs/os-specific/linux/kernel-headers/default.nix
index 06261f59d9d9..de30938f33a6 100644
--- a/pkgs/os-specific/linux/kernel-headers/default.nix
+++ b/pkgs/os-specific/linux/kernel-headers/default.nix
@@ -22,4 +22,6 @@ in stdenv.mkDerivation {
 
   # Headers shouldn't reference anything else
   allowedReferences = [];
+
+  meta.platforms = stdenv.lib.platforms.linux;
 }