{
  # Use grub as bootloader.
  # Systemd-boot does not support our legacy BIOS hardware,
  # but only runs on UEFI systems.
  boot.loader.grub.enable = true;
}