Comment by bigyabai

There are tons of proprietary RTOS/microkernel products on the market. It's not so much hiding as it is crowded-out.