{ ... }:
{
  boot.initrd.kernelModules = [ "ftdi_sio" ];
  srvos.boot.consoles = [
    "ttyUSB0,${toString (3 * 1000 * 1000)}"
  ];
  systemd.services."serial-getty@ttyUSB0" = {
    enable = true;

    serviceConfig = {
      Type = "idle"; # avoids interleaving startup messages
      Restart = "always";
    };
  };
}