From 7d08db3f8bccb763efd3a4e3d27c8eb236042e38 Mon Sep 17 00:00:00 2001
From: Romain GARBAGE <romain.garbage@inria.fr>
Date: Tue, 14 May 2024 16:38:17 +0200
Subject: [PATCH] guix-hpc3: Switch to BIOS mode.
This fixes the issues we are having with UEFI on this machine.
---
guix-hpc3.scm | 10 +++-------
1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/guix-hpc3.scm b/guix-hpc3.scm
index 6c184aa..74e6d65 100644
--- a/guix-hpc3.scm
+++ b/guix-hpc3.scm
@@ -7,19 +7,15 @@
(inherit base-os)
(host-name "guix-hpc3")
- ;; This is a UEFI setup.
+ ;; This is a BIOS setup.
(bootloader (bootloader-configuration
- (bootloader grub-efi-bootloader)
- (targets '("/boot/efi"))))
+ (bootloader grub-bootloader)
+ (targets (list "/dev/sda"))))
(initrd-modules (append (list "megaraid_sas")
%base-initrd-modules))
(file-systems (append (list (file-system
- (mount-point "/boot/efi")
- (device (uuid "76CE-39FF" 'fat32))
- (type "vfat"))
- (file-system
(mount-point "/")
(device (uuid "cdbcb919-535b-41a7-9387-181a2bed7d1d"
'ext4))
--
GitLab