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 /etc | |
| 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 'etc')
0 files changed, 0 insertions, 0 deletions