- Wyłączono `systemd-boot`, włączono `grub` z obsługą EFI.
- Dodano własny motyw GRUB z grafiką `jablon.png` i plikiem `theme.txt`.
- Motyw zawiera spersonalizowane kolory, czcionki i układ menu GRUB-a.
- Dodano dodatkowy wpis menu GRUB-a zatytułowany „Mój system”.
- Motyw kompilowany jest jako niestandardowe źródło w `pkgs.stdenv.mkDerivation`.