Без заголовка

Это замечательное достижение, но, думаю, что надо сказать про сам проект микроядра L4, центр разработки которого в Германии. Автралийцы осуществили верификацию модифицированной версии этого ядра. А вот то, что проект L4 до некоторых пор был почти не американским -- важно. Ситуация, впрочем, уже меняется.