That is very cool, I hadn't heard of that before. I have never done anything with a microcontroller, but I'm thinking about it for RISC-V. It sounds like that might be one of the better ways of getting a RISC-V device in practical use, until more software packages become available for a full Linux machine.