DektecDeviceSelector A DekTec card: by serial number (stable across reboots and slot moves — see `hardwareInfo’s dektec_cards), or by position in serial-number order. Field Type Repeated Description device oneOf ⮑serial int64 ⮑index uint32 Member of Message Description DektecInputConfiguration DektecOutputConfiguration DektecCard DektecGenlock