You usually use Linux on the Raspberry Pi because it provides a reliable, high-level development platform.

Now you can use NuttX on any microcontroller because it provides the same things as Linux.