Comment by topspin

There is QNX. seL4 is another.

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