# Boot via legacy BIOS -- the stock Lenovo BIOS, or coreboot with the SeaBIOS
# payload (both present a legacy BIOS interface). GRUB is installed to the MBR of
# the boot disk. This is the default.
{ ... }:
{
  boot.loader.grub = {
    enable = true;
    # Must point at the actual install disk -- adjust if it is not /dev/sda.
    device = "/dev/sda";
  };
}