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 /gnu | |
| 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>
Diffstat (limited to 'gnu')
| -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 | |||
| 174 | 174 | ||
| 175 | (operating-system | 175 | (operating-system |
| 176 | (inherit os) | 176 | (inherit os) |
| 177 | ;; XXX: Until we run QEMU with UEFI support (with the OVMF firmware), | ||
| 178 | ;; force the traditional i386/BIOS method. | ||
| 179 | ;; See <https://bugs.gnu.org/28768>. | ||
| 180 | (bootloader (bootloader-configuration | ||
| 181 | (inherit (operating-system-bootloader os)) | ||
| 182 | (bootloader | ||
| 183 | (if (target-riscv64? (or target system)) | ||
| 184 | u-boot-qemu-riscv64-bootloader | ||
| 185 | grub-bootloader)) | ||
| 186 | (targets '("/dev/vda")))) | ||
| 187 | |||
| 188 | (initrd (lambda (file-systems . rest) | 177 | (initrd (lambda (file-systems . rest) |
| 189 | (apply (operating-system-initrd os) | 178 | (apply (operating-system-initrd os) |
| 190 | file-systems | 179 | file-systems |
