Hot! Just arrived!
The Hercules RM42 Launchpad features a 100MHZ 32bit Dual ARM Cortex – R4 cores MCU designed for safety-critical applications.
The debugging part is a FT2322 + XC2C32A based XDS100V2 which provides a free CCS license.