That is good news, I have been checking that link every week or so since it was on your new products list. Also keeping an eye on CP GitHub activity, and I like what I have seen. I fear ARM-based MCU is going to be painful for me, but I think it is time to start working with them.
I would like to have a C based framework using the standard Debian toolchain packages binutils-arm-none-eabi gcc-arm-none-eabi gdb-arm-none-eabi libnewlib-arm-none-eabi. Since I can not seem to make the heap and stack memory behave reliably using C++ with AVR MCU's. I think my own experience and the fact that both MicroPython and Linux use C is very telling.