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