We're definitely a secret ingredient brand... hiding in products you use every day!

Blackberry OS 10 was also running QNX under the hook afaik.

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

I think the market is moving to "mixed criticality" so you can use Linux for your entertainment system but then also use a proper RTOS for the car stuff all in the same SoC.