Ah!!! Por favor me esclareça uma dúvida que surgiu enquanto lia seu post, Prog, existem esses tres tipos de linguagens certo?? Então o que acontece para existir OS's exclusivos para determinadas maquinas???
Agora acho que eu que não entendi direito o seu questionamento. Mas vou tentar dizer algo a respeito.
Bem, qualquer sistema informatizado, composto por um hardware, precisa de um sistema operacional para poder funcionar, desde os mais simples até os mais complexos. Exemplo? Um relógio... ali dentro existe um sistema operacional, é simples, mas existe, com instruções básicas de como deve funcionar um relógio, quando o fabricante lança um modelo novo, ele usa o mesmo sistema, afinal, as funcionalidades de um relógio para o outro variam muito pouco.
OS's exclusivos para determinadas máquinas? Talvez pq aquela máquina são seja comum no mercado, ou pq esta tem um uso bem específico (relógios, microondas, celulares, ...), então é necessário um software exclusivo para que ele funcione, ou talvez pq este tenha recursos mais avançados, que precisam ser trabalhados de maneira diferente... podem existir N motivos para um sistema operacional ser criado exclusivamente para fazer uma determinada "coisa" funcionar.
Falando um pouco mais sobre isto, celulares... cada fabricante tem o seu próprio sistema operacional, alguns poucos fazem uso de um ou outro sistema, mas vamos dizer que existem 5 sistemas operacionais diferentes para celulares, concorda comigo que seria interessante se um determinado programa, tipo uma agenda, fosse escrito uma única vez e que o mesmo funcionasse em todos os celulares? É por isto que os celulares usam Java. Se o celulares tem suporte a Java, celulares de modelos equivalentes (com as mesmas características técnicas) podem rodar o mesmo software, independente do sistema operacional instalado.
Não sei se consegui exclarecer sua dúvida, se quiser questionar novamente, sinta-se a vontade.