From 312090119ea664107642339202fb35e2f92e0e2c Mon Sep 17 00:00:00 2001
From: Danny Milosavljevic <dannym@scratchpost.org>
Date: Sat, 2 May 2020 19:11:18 +0200
Subject: gnu: Add heads-diesel.

* gnu/packages/heads.scm (heads-diesel): New variable.
---
 gnu/packages/heads.scm | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/gnu/packages/heads.scm b/gnu/packages/heads.scm
index e42dc66c6c..10932967b5 100644
--- a/gnu/packages/heads.scm
+++ b/gnu/packages/heads.scm
@@ -667,3 +667,20 @@ servers.")
      `(#:make-flags
        '("BOARD=kgpe-d16")
        ,@(package-arguments heads-coreboot)))))
+
+(define-public heads-diesel
+  (package
+    (inherit heads-coreboot)
+    (name "heads-diesel")
+    (arguments
+     `(#:phases
+       (modify-phases %standard-phases
+         (add-after 'unpack 'remove-extra-fv
+           (lambda _
+             (substitute* "edk2/MdeModulePkg/Core/Dxe/DxeMain/DxeMain.c"
+              (("ProduceFVBProtocolOnBuffer.*")
+               "\n"))
+             #t)))
+       #:make-flags
+       '("BOARD=diesel")
+       ,@(package-arguments heads-coreboot)))))
-- 
cgit v1.2.3