Hello Zou! Congratulations!!
You did amazing work.. I know ESA is using LEON in their projects.. having NuttX support there would be a great benefit and prove that NuttX really can run anywhere :-) Also this would highly benefit to the academic community of space engineering students and enthusiasts.. there are various student and DIY projects where people could run NuttX + FPGA + LEON :-) +1 from me :-) Tomek CEDRO -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info