[pjmlp]

Arduino (yes I know it isn't really an OS, but still), Zephyr, Oberon, Active Oberon, Inferno, mBed, Android and Chrome OS (Linux kernel isn't really exposed to userspace as in an UNIX system), Azure RTOS.