During the NuttX Workshop a friend (Thiago Costa Paiva) suggested
about the idea of creating a FPGA solution to validate NuttX hardware,
but his idea didn't take place.
Adding hardware raises complexities or design, manufacturing,
distribution, and support. Not insumountble, but not simple either.
Dave Marples also developed a very nice i.MXRT 1020 reference platform.
Very nicely packages in a box with "Powered by NuttX" and the NX logo on
it (with permission).
However, that when no where beyond Dave's personal use because there was
no way for regular people to get the board. The design was open so you
get everything you need to make your own, but that was it. So, from my
point of view, that was just wasted enthusiasm on my part.