I'm trying to build a simple sketch for a new board I just received, a Seeed XIAO nRF52840. Unfortunately, when compiling with the appropriate arduino profile, the ...