Nous continuons sur notre lancée de récompenser celles et ceux qui chaque mois contribuent au site LinuxFr.org (dépêches, commentaires, logo, journaux, correctifs, etc.). Vous n’êtes pas sans risquer de gagner un livre des éditions Eyrolles ou ENI. Voici les gagnants du mois de décembre 2021 :

• Papey, pour sa dépêche « L'ONG Noyb porte plainte pour corruption contre la CNIL irlandaise » ;
• magsoft, pour sa dépêche « Compter automatiquement les mots prononcés sur les chaînes d'information continue » ;
• Dinosaure, pour sa dépêche « MirageOS - un micro OS (unikernel) en OCaml » ;
• xcomcmdr, pour sa dépêche « .NET 6 est sorti - La version la plus rapide à ce jour » ;
• GnouCat, pour sa dépêche « Greycess Knight RPG : sortie de la première version ! » ;
• Johnny_Jazeix, pour sa dépêche « GCompris sort en version 2.0 pour les fêtes de fin d'année » ;

Les livres gagnés sont détaillés en seconde partie de la dépêche. N’oubliez pas de contribuer, LinuxFr.org vit pour vous et par vous !

MirageOS est un outil permettant de créer un unikernel (un système d’exploitation) pouvant faire office de micro-service comme un site Internet, un service SMTP ou encore un service DNS. L’objectif de MirageOS est de proposer une solution modulaire afin que l’utilisateur puisse créer son propre système selon ce qu’il souhaite vraiment. La modularité et l’approche clean-state de MirageOS permet de délester le système final d’éléments superficiels à priori. De ce fait, MirageOS est capable de produire un système d’exploitation complet comme un simple site internet ne pesant au final que ~16 Mo.

L’approche de MirageOS est de reconstruire tous les éléments de votre application finale en OCaml (en partant de votre API REST à la pile TCP/IP). Les logiques d’abstraction et la modularité d’OCaml sont les bases de MirageOS afin de s’abstraire de tout ce qui est à proprement parler lié au système (les syscalls) et de pouvoir interchanger une implémentation avec une autre sans changer le reste de l’application. Par ces mécanismes-là, MirageOS a la possibilité de produire un simple exécutable ou de produire un système complet capable d’être virtualisé avec Xen ou KVM.

Dans cette dépêche, nous allons voir ce qu’est concrètement MirageOS et expliquer comment l’utiliser.