Una duda acerca de la compilación de SO

[Rarok]

(No sabía donde preguntar esto, si este no es lugar correcto borren el post o muebanlo a donde correspondan.)
La duda de si fué antes el huevo o la gallina.
Bueno, imaginémonos que yo deseo hacer un sistema operativo para un aparato cualquiera (pongámonos los SO en aparatos como una PSP o un iPod) ¿como narices hay que hacer? quiero decir si yo por ejemplo para un PC quiero hacer un SO pues necesito hacer un compilador un shell y un kernel, lo mas común es utilizar las GNU/tools e ir modificándolas todo lo que haga falta, pero por lo menos ya hay un compilador para C o ensamblador, pero como se hace algo cuando no existe ninguna base? no es una arquitectura para la que haya el GCC, no hay ningún compilador válido, no hay kernel, ¡NO HAY NADA CON LO QUE EMPEZAR!, es facil (relativamente) hacer un SO para un PC o un PPC o cualquier arquitectura conocida, pero como narices se cuando no existe ninguna base? si no me equivoco ni se podría utilizar siquiera binario (si es que es viable programar así) ya que no existe un manual completo con toda la circuitería del micro con el que se va a tratar.