GNU bug report logs - #75299
[PATCH v1] gnu: Add grub-emu.

Previous Next

Full log

View this message in rfc822 format

From: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
To: 75299 <at> debbugs.gnu.org
Cc: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>, Efraim Flashner <efraim <at> flashner.co.il>, Vagrant Cascadian <vagrant <at> debian.org>
Subject: [bug#75299] [PATCH v1] gnu: Add grub-emu.
Date: Thu,  2 Jan 2025 20:54:13 +0100

* gnu/packages/bootloaders.scm (grub-emu): New variable.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
Change-Id: Ia70246841e612b1fe1cb70001b9a6420cb7a63ea
---
 gnu/packages/bootloaders.scm | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index b5cfacca4b..54162e9d1e 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -475,6 +475,16 @@ (define-public grub-efi32
             (cross-binutils "arm-linux-gnueabihf")))
          (package-native-inputs grub-efi)))))
 
+(define-public grub-emu
+  (package
+    (inherit grub)
+    (name "grub-emu")
+    (synopsis "GRand Unified Boot loader (Emu version)")
+    (arguments
+     (substitute-keyword-arguments (package-arguments grub)
+       ((#:configure-flags flags #~'())
+        #~(cons* "--with-platform=emu" #$flags))))))
+
 ;; Because grub searches hardcoded paths it's easiest to just build grub
 ;; again to make it find both grub-pc and grub-efi.  There is a command
 ;; line argument which allows you to specify ONE platform - but

base-commit: 8c11f8740a52339f51fe1841658e8e549589f2e2
-- 
2.46.0

Previous Next

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