kernelkernels nos acerca a sistemas operativos distribuidos y
adaptables [157]. En este apartado discutiremos sobre
algunos SSOO distribuidos que están construidos a partir de un kernel.
Todos ellos son sistemas flexibles, incluso algunos podrían
calificarse de ``adaptables'' al menos en en cierto sentido (dado que
ya con el empleo de un kernel se consigue que gran parte de los
servicios del sistema queden implementados fuera del núcleo, con lo
que la adaptación de estos es casi siempre
factible y, cuando no, más simple).
Además de los aquí mencionados, existen multitud de SSOO basados en
kernels cuya discusión hemos omitido puesto que una discusión seria de
todos los existentes requeriría no uno, sino varios libros,
dedicados sólo a tal fin. Algunos de estos sistemas se especializan en
operación en tiempo real, como Maruti [48],
Spring
[150], RT-Mach [164], ARTS
[82], QNX [88], etc. Otros tratan
de suministrar servicios básicos para sistemas de objetos
distribuidos, como Guide
[40, 16], Tigger
[26], Nanos [76] o Apertos
[176, 155]. Otros como Taos
[131] introducen técnicas novedosas como la
compilación en demanda para tolerar sistemas heterogéneos.
Lamentablemente, en mayor o menor medida, estos sistemas incorporan
abstracciones dentro del núcleo que o no son adaptables o no pueden
reemplazarse. Todos ellos presentan una estructura similar a alguno de
los sistemas que discutimos a continuación.