L'OS multinoyau selon Microsoft et l'ETH de Zurich