This is the output of dmesg when the Google Coral Board is plugged:

[34439.777058] usb 3-3: new high-speed USB device number 10 using xhci_hcd
[34439.926671] usb 3-3: New USB device found, idVendor=18d1, idProduct=9307, bcdDevice= 0.01
[34439.926681] usb 3-3: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[34439.926685] usb 3-3: Product: Coral Dev Board Micro
[34439.926688] usb 3-3: Manufacturer: Google
[34439.926691] usb 3-3: SerialNumber: 000a000a000aa000
[34439.930639] hid-generic 0003:18D1:9307.0007: hiddev1,hidraw3: USB HID v1.00 Device [Google Coral Dev Board Micro] on usb-0000:00:14.0-3/input0
[34440.691477] usb 3-3: USB disconnect, device number 10
[34441.045135] usb 3-3: new high-speed USB device number 11 using xhci_hcd
[34441.194428] usb 3-3: New USB device found, idVendor=18d1, idProduct=9308, bcdDevice= 0.01
[34441.194439] usb 3-3: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[34441.194443] usb 3-3: Product: Coral Dev Board Micro
[34441.194446] usb 3-3: Manufacturer: Google
[34441.194449] usb 3-3: SerialNumber: 000a0000000aa0aa
[34441.246850] cdc_eem 3-3:1.2 usb0: register 'cdc_eem' at usb-0000:00:14.0-3, CDC EEM Device, 62:e5:4e:c2:5e:e2
[34441.246894] usbcore: registered new interface driver cdc_eem
[34441.247270] cdc_acm 3-3:1.0: ttyACM0: USB ACM device
[34441.247299] usbcore: registered new interface driver cdc_acm
[34441.247300] cdc_acm: USB Abstract Control Model driver for USB modems and ISDN adapters