GNU bug report logs - #37466
[PATCH 0/4] Add heads.

Previous Next

Full log

Message #134 received at 37466 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: 37466 <at> debbugs.gnu.org
Cc: Danny Milosavljevic <dannym <at> scratchpost.org>
Subject: [WIP v5 8/8] gnu: Add heads-diesel.
Date: Sat,  2 May 2020 19:11:18 +0200

* 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)))))

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.