diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2025-11-27 12:49:44 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2026-02-11 18:32:51 +0200 |
| commit | 0689ad6dd09ca212f5b62efcbe6ac2921cf2b03a (patch) | |
| tree | cb14ef23c6c538310c10e4ea644f8cdd5490513f | |
| parent | 376a269253056d5dc3f7ec65a2a58f8d6e09eb44 (diff) | |
system: vm: Remove grub-efi workaround.
Bug https://bugs.gnu.org/28768 no longer needs working around.
* gnu/system/vm.scm (virtualized-operating-system): Don't override the
bootloader of the system configuration used.
Change-Id: I495f59a6edd7929e2d47276db53fd86a89ac95e9
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| -rw-r--r-- | gnu/system/vm.scm | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm index 5791ca4ffaa..a3db2991d60 100644 --- a/gnu/system/vm.scm +++ b/gnu/system/vm.scm @@ -174,17 +174,6 @@ environment with the store shared with the host. MAPPINGS is a list of (operating-system (inherit os) - ;; XXX: Until we run QEMU with UEFI support (with the OVMF firmware), - ;; force the traditional i386/BIOS method. - ;; See <https://bugs.gnu.org/28768>. - (bootloader (bootloader-configuration - (inherit (operating-system-bootloader os)) - (bootloader - (if (target-riscv64? (or target system)) - u-boot-qemu-riscv64-bootloader - grub-bootloader)) - (targets '("/dev/vda")))) - (initrd (lambda (file-systems . rest) (apply (operating-system-initrd os) file-systems |