From c5dff34ae1ddba5d7e5d39b673cc69f99cd04197 Mon Sep 17 00:00:00 2001
From: Leon Schuermann <leon.git@is.currently.online>
Date: Tue, 3 Jul 2018 18:17:51 +0100
Subject: [PATCH] libvmi: Add platforms metadata

---
 pkgs/development/libraries/libvmi/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/libraries/libvmi/default.nix b/pkgs/development/libraries/libvmi/default.nix
index 41b0f539d2b9..bbeb6cce48a6 100644
--- a/pkgs/development/libraries/libvmi/default.nix
+++ b/pkgs/development/libraries/libvmi/default.nix
@@ -42,6 +42,7 @@ stdenv.mkDerivation rec {
       and accessing the vCPU registers.
     '';
     license = with licenses; [ gpl3 lgpl3 ];
+    platforms = platforms.linux;
     maintainers = with maintainers; [ lschuermann ];
   };
 }