From b805fb5ef1d702013c655d266c78326509671252 Mon Sep 17 00:00:00 2001
From: Simon Bruder <simon@sbruder.de>
Date: Sat, 7 May 2022 12:34:25 +0200
Subject: [PATCH] sayuri: Switch to EFI

The legacy BIOS does not show when the HDMI output is used with a 4K
screen.
---
 machines/sayuri/hardware-configuration.nix | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/machines/sayuri/hardware-configuration.nix b/machines/sayuri/hardware-configuration.nix
index f4b9083..1a8698b 100644
--- a/machines/sayuri/hardware-configuration.nix
+++ b/machines/sayuri/hardware-configuration.nix
@@ -8,7 +8,11 @@
   boot = {
     kernelModules = [ "kvm-intel" ];
     extraModulePackages = [ ];
-    loader.grub.device = "/dev/disk/by-id/nvme-Samsung_SSD_970_EVO_Plus_250GB_S4EUNJ0N412342P";
+    loader = {
+      grub.enable = false;
+      systemd-boot.enable = true;
+      efi.canTouchEfiVariables = true;
+    };
     initrd = {
       availableKernelModules = [ "aesni_intel" "ahci" "ehci_pci" "nvme" "sd_mod" "sr_mod" "usb_storage" "usbhid" "xhci_pci" ];
       kernelModules = [ "dm-snapshot" "sg" ];
@@ -31,8 +35,8 @@
     };
 
     "/boot" = {
-      device = "/dev/disk/by-uuid/7b8b75d2-f779-4a49-b09d-b2a1bbd801bb";
-      fsType = "ext2";
+      device = "/dev/disk/by-uuid/75DA-DFE2";
+      fsType = "vfat";
     };
 
     "/data" = {