From 06c0209d5319b78d30571bed033d8a37b7ed40e7 Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi>
Date: Wed, 1 Jun 2016 12:59:25 +0300
Subject: [PATCH] systemd: Disable systemd-boot on ARM

Temporary workaround for the EFI stuff not working.
---
 pkgs/os-specific/linux/systemd/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/systemd/default.nix b/pkgs/os-specific/linux/systemd/default.nix
index 26f18f9ff267..0ba6c431c9f7 100644
--- a/pkgs/os-specific/linux/systemd/default.nix
+++ b/pkgs/os-specific/linux/systemd/default.nix
@@ -72,7 +72,7 @@ stdenv.mkDerivation rec {
       "--disable-ldconfig"
       "--disable-smack"
 
-      "--enable-gnuefi"
+      (if stdenv.isArm then "--disable-gnuefi" else "--enable-gnuefi")
       "--with-efi-libdir=${gnu-efi}/lib"
       "--with-efi-includedir=${gnu-efi}/include"
       "--with-efi-ldsdir=${gnu-efi}/lib"