Among other mobile OSes I've run across: CloudOS and ThreadX, the latter used on some AGM models. Proprietary, non-Linux/non-Android.