[OT] Could be useful for someone porting NuttX to STM32MP1

[Alan Carvalho de Assis]

I just saw a post about it:

https://werwolv.net/blog/mp1os