[Dec11 21:15] usb 1-1.2: new full-speed USB device number 19 using xhci_hcd
[  +0.118169] usb 1-1.2: New USB device found, idVendor=2e8a, idProduct=f00a, bcdDevice= 1.00
[  +0.000025] usb 1-1.2: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[  +0.000013] usb 1-1.2: Product: PicoArduino
[  +0.000011] usb 1-1.2: Manufacturer: Raspberry Pi
[  +0.000009] usb 1-1.2: SerialNumber: E661AC8863275126
[  +0.017217] cdc_acm 1-1.2:1.0: ttyACM1: USB ACM device

• [*] Enable extra low-level configuration options
      Micro-controller Architecture (Raspberry Pi RP2040/RP235x)  --->
      Processor model (rp2040)  --->
      Bootloader offset (No bootloader)  --->
      Flash chip (W25Q080 with CLKDIV 2)  --->
      Communication Interface (USBSERIAL)  --->
      USB ids  --->
  ()  GPIO pins to set at micro-controller startup

• make flash FLASH_DEVICE=2e8a:0003