I wonder what sort of practical benefit there is for the "lighter weight" of NuttX? I imagine the main attraction is realtimedness, but I think that is sort of orthogonal to light-weightness. And even then it has rtlinux to compete with.