diff options
| -rw-r--r-- | gnu/packages/heads.scm | 17 |
1 files changed, 17 insertions, 0 deletions
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))))) |