Yes, although I'm not sure how much of the OS is really seen by the game developers, if it was done right I'd guess not very much.
Sort of like how DreamCast ran WinCE, but noone used the WinCE development kit and used the alternate OS written by Sega.