Linux Kernel Module Cheat
19.2. ARM Mbed
https://en.wikipedia.org/wiki/Mbed
TODO minimal setup to run it on QEMU? Possible?