The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that takes a new approach to building an OS stack with verifiable and type safe managed code.

http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System

Здравствуйте, deniok, Вы писали:

D>The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that takes a new approach to building an OS stack with verifiable and type safe managed code.
D>http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System

1-processor only и есть вероятность что это фундаментальное ограничение. Тем не менее для каких-нибудь мелких девайсов это уже очень полезное достижение. Посмотрим что дальше будет.