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

    # avoids interleaving startup messages
    serviceConfig.Type = "idle";
  };
}