MINIX

MINIX est un système d'exploitation informatique UNIX, open source, indépendant et librement distribué basé sur une architecture microkernel. C'est un petit système d'exploitation qui a été conçu de manière à être utilisé comme outil éducatif destiné aux ordinateurs portables et aux systèmes embarqués à faible puissance.

Le système d'exploitation MINIX est distribué sous la forme d'une image ISO à deux volets, qui a été archivée avec la méthode de compression bz2 et conçue pour être exécutée sur des ordinateurs prenant en charge l'ensemble d'instructions 32 bits (x86) et 64 bits (x86_64) Architectures. Bien que l'archive bz2 ait une taille d'environ 120 Mo, l'image ISO pèse environ 400 Mo.

Veuillez noter que l'image ISO doit être écrite sur un disque CD ou sur un lecteur USB de 512 Mo ou une capacité supérieure afin de l'amorcer à partir du BIOS d'un PC. Il demandera aux utilisateurs un menu de démarrage qui comporte quatre options différentes, la possibilité de démarrer le système en direct avec ou sans support AHCI, la possibilité de passer à une invite de shell et la possibilité de modifier les options de menu.

Il s'exécute en mode Live et peut être installé sur un lecteur local

Alors que le système fonctionnera en douceur à partir du support amorçable et que plusieurs de ses commandes préinstallées fonctionneront correctement, vous devrez l'installer sur un lecteur local afin de profiter pleinement de ses fonctionnalités, y compris l'environnement de bureau graphique . Par défaut, vous retournerez à une invite de shell où vous devez vous connecter avec le & ldquo; root & rdquo; Nom d'utilisateur. Type & ldquo; setup & rdquo; (Sans guillemets) pour lancer le script d'installation.

Tout simplement, MINIX ne doit pas être confondu avec Linux ou BSD. Il est encore en développement lourd et n'est nulle part aussi mature que les systèmes d'exploitation de type UNIX susmentionnés. Il n'est pas conçu pour les utilisateurs finaux, en tant que système d'exploitation au jour le jour!

Quoi de neuf dans cette version:

• Le système est basé sur un microkernel minuscule (12 700 lignes de code)
• Le microkernel gère les interruptions et le passage des messages et est le seul code exécuté en mode noyau.
• Le reste du système d'exploitation fonctionne comme une collection de processus isolés, protégés et en mode utilisateur
• Chaque pilote de périphérique est un processus distinct en mode utilisateur isolé par le matériel MMU
• Si un pilote tombe en panne, le système le redémarre automatiquement, les applications en cours d'exécution n'observant même pas
• Cela signifie que MINIX 3.3.0 est auto-curatif
• Userland est largement compatible avec NetBSD et exécute des milliers de paquets NetBSD
• En combinant un système d'exploitation de recherche auto-curatif innovant avec l'utilisateur de NetBSD, nous avons eu le meilleur des deux mondes
• Les compilateurs clang / LLVM et gcc sont disponibles, ainsi que perl, python, etc.
• MINIX 3.3.0 est disponible pour les architectures x86 et ARM Cortex A8, ce qui le rend idéal pour les systèmes embarqués
• Les outils pour la compilation croisée de MINIX 3 pour l'ARM sur Linux sont fournis
• Les ports sont disponibles maintenant pour BeagleBoard XM, BeagleBone blanc et BeagleBone noir
• Une documentation étendue est disponible dans le wiki de MINIX 3
• Le code a été amélioré par rapport à MINIX 3.2.1 de plusieurs façons, ce qui a conduit à un système plus propre et plus fiable

Ce qui est nouveau dans la version 3.3.0:

• Le système est basé sur un microkernel minuscule (12 700 lignes de code)
• Le microkernel gère les interruptions et le passage des messages et est le seul code exécuté en mode noyau.
• Le reste du système d'exploitation fonctionne comme une collection de processus isolés, protégés et en mode utilisateur
• Chaque pilote de périphérique est un processus distinct en mode utilisateur isolé par le matériel MMU
• Si un pilote tombe en panne, le système le redémarre automatiquement, les applications en cours d'exécution n'observant même pas
• Cela signifie que MINIX 3.3.0 est auto-curatif
• Userland est largement compatible avec NetBSD et exécute des milliers de paquets NetBSD
• En combinant un système d'exploitation de recherche auto-curatif innovant avec l'utilisateur de NetBSD, nous avons eu le meilleur des deux mondes
• Les compilateurs clang / LLVM et gcc sont disponibles, ainsi que perl, python, etc.
• MINIX 3.3.0 est disponible pour les architectures x86 et ARM Cortex A8, ce qui le rend idéal pour les systèmes embarqués
• Les outils pour la compilation croisée de MINIX 3 pour l'ARM sur Linux sont fournis
• Les ports sont disponibles maintenant pour BeagleBoard XM, BeagleBone blanc et BeagleBone noir
• Une documentation étendue est disponible dans le wiki de MINIX 3
• Le code a été amélioré par rapport à MINIX 3.2.1 de plusieurs façons, ce qui a conduit à un système plus propre et plus fiable

Ce qui est nouveau dans la version 3.2.1:

• Développement:
• Prise en charge des exécutables liés dynamiquement, crée également des versions partagées des bibliothèques de base du système
• http://wiki.minix3.org/fr/UsersGuide/UsingSharedLibraries.
• Supprime complètement l'utilisation des segments Intel, offrant une amélioration de la performance tout en changeant le contexte. Confiez exclusivement aux tables de page. (Plus d'infos)
• Ajout de la prise en charge des appels du noyau du système SYSENTER / SYSCALL, une amélioration significative des performances. (Plus d'infos)
• Importation complète du système de construction NetBSD mise à jour complète. Build.sh est pris en charge, permettant la construction croisée de MINIX 3.
• http://wiki.minix3.org/fr/DevelopersGuide/Crosscompiling
• Imported ou mis à niveau de nombreux utilitaires et bibliothèques utilisateur de NetBSD: libc, lorder, join, mtree, tsort, cksum, kill, xinstall, du, libutil, tic, postinstall, flex, zlib, bsdtar, ls, sort, cat, Echo, pax, file, mktemp, libc, csu, curses, byacc, tput, test, ln, nvi, ctags, infocomp, nbperf, make, m4, bzip2, libcrypt, printf, passwd, make, ed, nawk, expr, Pwd.

Support
• DDEKIT (support pour claviers USB, souris et stockage de masse).
• http://wiki.minix3.org/fr/DdeKitUsb
• Généralisation du pilote TTY.
• Nettoyage petit et grand représenté par des MINIXismes à la retraite tels que rootdev non-symbolique, dev2name, checkhier, badblocks, readall, BIOS_SEG et umap_bios, bios_wini, macros C comme _ANSI, _CONST, _VOLATILE, _SIZET, _ARGS, _VOID, PUBLIC, PRIVATE et FORWARD , _PROTOTYPE.
• VM: munmap généralisé (boot-time ramdisk est maintenant libéré, sauvegardant la mémoire).
• L'interaction VFS avec les pilotes est entièrement asynchrone, ce qui rend VFS immunisé contre les pilotes non coopératifs. (Plus d'infos)
• http://fr.wikipedia.org/wiki/Kernel_Normal_Form
• Amélioration et généralisation des performances Exec. Réduisez la copie, et le noyau, RS, VFS et VM utilisent tous le même code d'analyse exécutable.
• Une autre abstraction dans VM pour soutenir les améliorations futures.
• Implémenté le support mtab dynamique et la commande mount-a
• Généralisé le cache du système de fichiers. (Plus d'infos)
• Modifications:
• Make world a été remplacé par make build
• Support abandonné pour les binaires a.out
• Pilotes, FS:
• E1000 ajoute un support pour 82545EM
• EXT2 prend en charge les améliorations. (Plus d'infos)
• Virtio: virtio-blk, drivers virtio-net
• Comment utiliser: http://wiki.minix3.org/en/UsersGuide/RunningOnQemu
• Support pour AHCI
• Ajouter VBFS: VirtualBox Shared Folder File System
• rtl8169: ajouter un support pour la famille RTL8101E
• Keymaps:
• Carte de navigation portugaise
• Plan du site brésilien
• Userland:
• Récupère le sprofalyze en C pour une meilleure performance.

Ce qui est nouveau dans la version 3.2.0:

• Principales caractéristiques:
• Clang est le compilateur par défaut (GCC est également pris en charge)
• Bibliothèque NetBSD C
• ELF est le format exécutable par défaut
• Système de système de fichiers virtuel multithread (VFS) asynchrone
• Support expérimental SMP
• Support FUSE (projet GSOC par Evgeniy Ivanov)
• format de fichier de mot de passe NetBSD (partie du projet GSOC de Vivek Prakash)
• infrastructure de types FS:
• Utilisez un fichier approprié / etc / fstab
• Indicateur FS propre / non net dans MFS
• Intégration intégrale du système de base ext2: newfs, fsck, peut être installé sur ext2
• Faites correctement `fsck -p` sur chaque démarrage pour tous les systèmes de fichiers listés sur fstab
• chargeur de démarrage NetBSD
• Petites images de démarrage (avec gzip)
• ProcFS: / système de fichiers proc
• Multithreading et support NCQ dans le pilote AHCI
• Améliorations de débogage
• GDB et core dump support (projet GSOC d'Adriana Szekeres)
• Tracer le traçage des périphériques
• Nouveaux utilitaires d'utilisateur de NetBSD (partie d'eux comme projet GSOC par Vivek Prakash)
• ext2 fsck & mkfs, gzip, m4, man & tools, mkdep, mkdir, mkfifo, mktemp, rm, rmdir, tic, uniq
• libcurses, libcrypt, libprop, libterminfo, libutil
• bzip2, date, indent, mdocml (mandoc), sed, zoneinfo ports
• Meilleure fiabilité
• La récupération transparente du bloc de périphérique se bloque dans les systèmes de fichiers
• Reprise automatique lors de l'échec des E / S des périphériques de blocs dans les systèmes de fichiers
• Nouveau pilote d'injection de défaut du périphérique de blocage défectueux
• Les serveurs et les pilotes s'exécutent en tant qu'utilisateurs non privilégiés
• Réparez tous les bugs (potentiels) trouvés par les avertissements plus élaborés de Clang
• Meilleur support de virtualisation
• Ajout de libvassert, pour permettre un support plus facile pour VMWare VAssert
• Nouveau pilote de synchronisation de temps VirtualBox
• Autres différences importantes:
• Le projet MINIX utilise maintenant git comme son système de contrôle de version
• Problèmes connus:
• VirtualBox: Minix ne peut pas être installé sans support d'accélération matérielle (VT-x, AMD-V)
• Solution de contournement: voir UsersGuide / RunningMinixOnVirtualBox
• Construire des avertissements: Clang a beaucoup mieux diagnostics que ACK, donc clang rapporte plus d'avertissements sur la base de code MINIX. Ces avertissements sont réparés au fil du temps.
• Performances Clang: sur MINIX, clang se construit plus lentement que GCC. Nous travaillons à ce sujet. En attendant, vous avez la possibilité de créer MINIX avec GCC (CC = gcc).

Ce qui est nouveau dans la version 3.1.7:

• Programmation de l'espace utilisateur et un serveur de planification
• Support approprié pour plusieurs cartes ethernet du même type
• Bugfixes (par exemple, solution de contournement à exécuter sur KVM récente)
• Fonction de débogage (& quot; verbose & quot; variable de moniteur de démarrage, accès aux registres de débogage DR0-DR7 dans le noyau)
• Le moniteur de démarrage permet de charger des images & gt; 16 Mo
• La taille de la partition racine augmente à 64 Mo (et le script de configuration peut maintenant traiter plus ou moins en toute sécurité les partitions racines avec des tailles non par défaut)
• Support de Buildsystem pour construire MINIX avec GCC
• Réorganisation / nettoyage de l'arbre source
• Nouveaux ports: Git, GCC mis à jour vers la version 4.4.3
• Couche de cache FS secondaire dans VM qui utilise toute la mémoire disponible, réduisant considérablement le temps d'attente d'E / S

Ce qui est nouveau dans la version 3.1.6:

• Principales caractéristiques:
• Nouveaux pilotes: Atheros L2, Intel E1000, Realtek 8169, DEC Tulip
• Support réseau virtuel (DEC Tulip)
• PipeFS - suppression de la gestion des tuyaux à partir des pilotes du système de fichiers
• HGFS - support pour le montage de dossiers partagés VMware en tant que système de fichiers
• support FPU
• System Event Framework (SEF)
• Support expérimental d'APIC (désactivé par défaut)
• Plus de ports: QEMU plus récents, utilitaires BSD, benchmarks
• Problèmes connus:
• VirtualBox 3.1 ne peut pas démarrer Minix. Utilisez VirtualBox 3.0 pour l'instant.
• Qemu / KVM 0.12 ne peut pas démarrer Minix. Utilisez Qemu / KVM 0.11 pour l'instant.
• VirtualBox: Minix 3.1.6 ne peut pas être installé sans support d'accélération matérielle (VT-x, AMD-V)