There is QNX. seL4 is another.

The former is proprietary. The latter kernel is GPL2, similar to Linux.

QNX is not open source.

And seL4 is a kernel, not an OS. And it pretty hard to work with specially if you want any kind of dynamic system.