> -- Geniepro писал(а):
> 
Кстати, этот бритоголовый профессорТимоти Роско, что ведёт данный проект в ETHZ, давно занимается подобной тематикой. В списке его публикаций значится, например, статья"Towards a practical, verified kernel"-- как раз про seL4. Роско как раз из команды этих австралийцев, переехал в ETHZ...