{
  # BIOS system
  boot.loader.systemd-boot.enable = false;
  boot.loader.grub = {
    enable = true;
  };
}