Серый порт для Raspberry pico в Arduino IDE - Ubuntu 20.04

Я наткнулся на это, и вот как я работал вокруг этого (в Windows, но я подозреваю, что проблема и решение одни и те же).

Совершенно новый Pico или тот, который не запрограммирован Arduino IDE, не имеет последовательного порта, поэтому вы его не видите. Скетчи Arduino автоматически компилируются с последовательным портом, поэтому, как только последовательный порт существует, его можно использовать для будущих загрузок.

Решение Arduino состоит в том, чтобы использовать опцию "Экспорт скомпилированного двоичного файла" (для любого скетча) и загрузить файл UF2 (который должен быть сгенерирован в папку sketch) с помощью виртуального интерфейса USB-накопителя. Когда скетч запустится, последовательный порт будет доступен и может быть использован для будущей загрузки скетча.

Другое решение-использовать альтернативное Пико-ядро. Этот человек не нуждается в выбранном порту, но найдет и загрузит Пико в режиме загрузчика через виртуальный USB-накопитель.

Имел эту проблему и попробовал все, что было описано на форумах.

У меня сработало следующее: я удерживал кнопку загрузки до тех пор, пока не открылась папка pico, затем в IDE активировалась кнопка порта, и я выбрал порт UF2, а затем после загрузки пико показало COM7