In the wiki of " Getting Started with Seeed Studio XIAO nRF52840 (Sense)"
I can’t see “Tools > Board > Arduino Mbed OS Boards”
I can see “Tools > Board > Seed nrf52 Boards” .
Now if you further click on "Seed nrf52 Boards” , what list do you get? Do you get to see the ‘Seeed Studio XIAO nRF52840 Sense’ in that list?
Sorry for the inconvenience, we are already planning to revise the Wiki to give you more details about the differences between the different on-board files.
