It seems that there is no official support for any Atmel device, but has anyone experience with creating target support for a SAM4 device into mbed?
I know just about this very old attempt - mbed-dev - mbed library sources. Supersedes mbed-src. | Mbed
Thank you for the link. This looks like a useful starting point.