Du libre chez Microsoft

http://www.pcinpact.com/actu/news/53229-microsoft-barrelfish-multi-kernel.htm

« Aussi étrange que celui puisse paraitre à certains, Microsoft recommande une distribution Debian ou Ubuntu récente pour lancer la compilation de Barrelfish. »