Pour gérer vos consentements :
Categories: CloudOpen Source

L’OS MINIX s’invite sur les cartes-mères ARM

Une nouvelle version de l’OS de type UNIX MINIX vient de voir le jour. MINIX 3.3.0 est accessible pour la première fois sur des machines équipées d’un processeur ARM.

Seules les cartes-mères BeagleBoard XM, BeagleBone White et BeagleBone Black sont actuellement supportées (en plus des traditionnelles machines x86). Des outils permettant de crosscompiler des applications ARM (voir le système entier) depuis un PC sont proposés.

Pour l’embarqué critique

Les promoteurs de cet OS open source rappellent les avantages de leur offre. MINIX est tout d’abord extrêmement compact (600 Ko pour le noyau, 25 Mo pour un système complet), ce qui en fait une solution bien adaptée au monde de l’électronique embarquée. Chose d’autant plus vraie que les puces ARM sont maintenant supportées.

Autre particularité, MINIX se veut particulièrement solide. Il s’appuie sur un microkernel minimaliste, qui est le seul module à fonctionner dans les couches les plus basses du système. Tous les autres composants, y compris les pilotes, fonctionnent en mode utilisateur. Ceci signifie que même si un pilote plante, le système sera capable de le relancer, sans que les autres applications soient impactées. Une approche intéressante, qui a été encore renforcée avec cette version 3.3.0.

Une offre européenne

Côté logiciels, MINIX s’appuie sur les paquetages NetBSD, projet avec lequel il s’est rapproché il y a deux ans (voir l’article « UNIX : Minix 3.2 a mangé du NetBSD »).

MINIX est à ce jour un des rares systèmes d’exploitation essentiellement basés sur des technologies européennes. Conçu aux Pays-Bas sous l’impulsion d’Andrew Tanenbaum, cet OS reste peu connu, mais a bénéficié d’un apport de 2,5 millions d’euros de la part du Conseil Européen de la Recherche en 2009 (voir « 2,5 millions d’euros pour le développement de MINIX »).

Voir aussi : Focus sur les OS européens: Mandriva, Minix, OpenIndiania, UCS, Zential

Recent Posts

GPT-4o : où, quand et pour qui ?

OpenAI orchestre un déploiement très progressif de GPT-4o, y compris de ses capacités multimodales.

2 jours ago

Nom de domaine : Twitter définitivement remplacé par X

Elon Musk avait racheté le nom de domaine X.com à PayPal en 2017. Depuis juillet 2023,…

3 jours ago

Microsoft propose une délocalisation hors de Chine à ses ingénieurs IA et Cloud

Des centaines d'ingénieurs en IA et cloud travaillant pour Microsoft se voient proposer de quitter…

3 jours ago

Du « Monde » à Reddit, le point sur les partenariats data d’OpenAI

Reddit s'ajoute à la liste des « partenaires data » d'OpenAI. Qui rejoint-il ?

3 jours ago

Comment Younited a appliqué la GenAI au crédit conso

Younited a utilisé PaLM 2 puis Gemini pour catégoriser des transactions bancaires en vue de…

3 jours ago

Processeurs : les États-Unis fabriqueront 30 % des puces avancées d’ici 2032

Les États-Unis vont tripler leur capacité nationale de fabrication de puces et contrôler 30 %…

3 jours ago