@bytex64 there's a bunch of open-source kernels that work on very wide range of hardware, from 8051 to RP2040, and the license allows using the code mostly free, it seems.