Yeah, uClinux is what i'm used to for MMU-less platforms. Then there's RTOSes, where you're looking at VxWorks/QNX/LynxOS for commercial support, or RTLinux/FreeRTOS/ChronOS for something unsupported. The Raspberry is a neat platform with plenty of uses, but custom tailored electronics often have exotic hardware with unique software constraints.