Насчёт уровня абстракции до мозгов не доходит. Я может не так (не понятно) спросил ?
Я понимаю, (если быть в уровне работы PC-компа) что должен быть некий загрузчик, который засунет каждую из OS на своё ядро и своё (жёстко-заданное) пространство памяти. Может даже каждый из каналов контроллера памяти будет у каждой [полу]OSи свой. Это уровень мне представляется смутно, но, кажется большого обьёма двоичного кода тут нет.
Хотелось прояснить:
1. Каким образом такие системы могут обмениваться (желательно по стандартному СЕТЕВОМУ протоколу)?
2. Сильно ли можно убавить сложность каждой из полу-систем за счёт выкида лишнего ? В этом вопросе важнее критерий сложности, как сложности понимания (обозреваемости, числа увязок), а не объёма исходного и двоичного кода.