switched to signed bootloader

a4b3154417d4… · Ryan Schanzenbacher · 2025-06-17 04:37

Changed files

File	Changes
SmallLaptop.scm	+3 −1	raw

diff --git a/SmallLaptop.scm b/SmallLaptop.scm

index d277afe..121e478 100644

--- a/SmallLaptop.scm

+++ b/SmallLaptop.scm

@@ -5,6 +5,7 @@

(operating-system

(inherit base-operating-system)

(host-name "SmallLaptop")

+ (timezone "Europe/Amsterdam")

(mapped-devices (list (mapped-device

(source (uuid

"b22d6f2b-44ce-4b56-9833-dde593d19d75"))

@@ -21,7 +22,8 @@

'fat32))

(type "vfat")) %base-file-systems))

(bootloader (bootloader-configuration

- (bootloader uefi-uki-bootloader)

+ (bootloader (uefi-uki-signed-bootloader

+ "/var/lib/sbctl/keys/db/db.pem" "/var/lib/sbctl/keys/db/db.key"))

(targets (list "/boot/efi"))

(keyboard-layout (keyboard-layout "us"))))

(swap-devices