[koz1000]

There's this intersection point in the MCU/SoC world where you can get by with a Cortex-M3/M4/M7 and need solid multitasking but don't have an MMU. ucLinux is a dead end, and then you have FreeRTOS (sorry, AmazonRTOS) or ThreadX (cough, AzureRTOS). And if you can afford GreenHills Integrity you probably aren't reading HN anyway.

I spent a year hacking with a Broadcom-supplied fork of Zephyr to Cortex-A and it was just a mess. It never worked right. Maybe it does now and it's mainline but I wouldn't trust it.

For a project started by WindRiver, taken over by Intel, then released to OSS it's mind-boggling how bad of a state it was in given its age.