ARM is creating a big traction with “mbed” (see https://mbed.org/ and https://developer.mbed.org/). it basically offers a good abstraction layer to peripherals found on ships from different constructors (NXP, ST, Freescale, Nordic …). making the API for accessing GPIO/PWM/SPI/I2C uniform and available at no development effort to the user. this has also the advantage that the software can be written once and then ported easilly to many processors.
there is an ongoing work to add ATMEL SAM3X and the board ARDINO Due to the list of supported platforms (https://developer.mbed.org/cookbook/Arduino-Due). and this shall be a path cleaner for other boards.
if this turned to be successeful and available in near future, is there an intention and poeple volunteering to use the mbed API in TinyG firmware instead of the current hardware drivers? this will pave the way to use tinyG firmware with other processors.
B.R.
Zied