Comment by jonjacky

Possibly of interest: 'Linux kernel MicroPython port', last updated four years ago.

https://github.com/Jongy/micropython/tree/linux-kernel/ports...

https://medium.com/@yon.goldschmidt/running-python-in-the-li...