{
  # Restart the serial console
  systemd.services."serial-getty@ttyS1" = {
    enable = true;
    wantedBy = [ "getty.target" ];
    serviceConfig.Restart = "always";
  };

  # Enable serial console
  boot.kernelParams = [
    "console=tty1"
    "console=ttyS1,115200"
  ];

  # Enable GRUB2 serial console
  boot.loader.grub.extraConfig = ''
    serial --unit=1 --speed=115200 --word=8 --parity=no --stop=1
    terminal_input --append serial
    terminal_output --append serial
  '';
}