The definition of OS is not as strict as you are imagining. You could equally say Android sits on top of the "real" Linux OS.

"But Linux is just a kernel, not an OS!"

Oh so is FreeRTOS not an OS? What about the "Little Kernel Embedded OS"?

You're nitpicking imaginary definitions.