From f5d6c9f25250f078fa62df8d29d2346cf9e77c20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= <vcunat@gmail.com>
Date: Wed, 13 Aug 2014 09:52:13 +0200
Subject: [PATCH] tboot: restrict to one platform

---
 pkgs/tools/security/tboot/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/tools/security/tboot/default.nix b/pkgs/tools/security/tboot/default.nix
index 86c4d96e97d..7c67ebb16b1 100644
--- a/pkgs/tools/security/tboot/default.nix
+++ b/pkgs/tools/security/tboot/default.nix
@@ -27,7 +27,7 @@ stdenv.mkDerivation rec {
     homepage    = http://sourceforge.net/projects/tboot/;
     license     = licenses.bsd3;
     maintainers = [ maintainers.ak ];
-    platforms   = platforms.linux;
+    platforms   = [ "x86_64-linux" ]; # doesn't build on i686 and maybe pointless there
   };
 }