Harald Hoyer babf38d817 chore(nix): switch bootloader to GRUB ... - Disabled Systemd-boot and enabled GRUB as the bootloader with OS probing. - Configured GRUB to use `/dev/vda` as the target installation device.		2025-11-13 16:16:37 +01:00
..
default.nix	chore(nix): switch bootloader to GRUB	2025-11-13 16:16:37 +01:00
hardware-configuration.nix	chore(nix): refactor SGX configuration for nixtee1	2025-11-13 16:01:58 +01:00