To clarify,
The Raspberry Pi Pico runs on the RP2040, a dual-core Cortex-M0+. It has no operating system.
The Xiao I am facing most uploading issues with is the nRF52840. This very forum has many threads about how to unbrick Xiaos, how to use Adafruit bootloader, etc.