Hi,
Arch Pro doesn’t have a storage unit, so LocalFileSystem is not available. Maybe, you can use a SD card shield as a optional solution.
The mbed interface of Arch Pro and mbed LPC1768 are different. A bin file dropped into “MBED” drive will be directly put into LPC1768.
Best,