Pine64 PinePhone is now supported by NuttX Mainline! If you have a PinePhone (and PinePhone Serial Debug Cable), you're welcome to try NuttX on PinePhone...
https://github.com/apache/nuttx/blob/master/Documentation/platforms/arm/a64/boards/pinephone/index.rst Please lemme know if you see any issues. Thanks! :-) Let's make NuttX the fun new way to teach the internals of Smartphone Operating Systems! Lup