From a2c37c0700cdc014c95cdd588e672e9944c8d163 Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas@tuxera.com>
Date: Fri, 23 Mar 2018 20:05:00 +0200
Subject: riscv-pk: Set correct platforms

---
 pkgs/misc/riscv-pk/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/misc/riscv-pk/default.nix b/pkgs/misc/riscv-pk/default.nix
index b605b9715d48..d4705dd9dd77 100644
--- a/pkgs/misc/riscv-pk/default.nix
+++ b/pkgs/misc/riscv-pk/default.nix
@@ -36,6 +36,7 @@ in stdenv.mkDerivation {
     description = "RISC-V Proxy Kernel and Bootloader.";
     homepage = https://github.com/riscv/riscv-pk;
     license = stdenv.lib.licenses.bsd3;
+    platforms = [ "riscv-linux" ];
     maintainers = [ stdenv.lib.maintainers.shlevy ];
   };
 }
-- 
cgit v1.2.3