Genode

Genode est un framework de système d'exploitation open source qui étend les noyaux existants (par exemple, microkernel ou hyperviseur) et fournit une API uniforme pour les applications.

Actuellement, L4 / Fiasco et Linux sont pris en charge.

Nouveautés > Graphiques accélérés pour les GPU Intel Gen-8

Ce qui est nouveau dans la version 17.05:

• Cadre de base:
• Nouvelle révision du livre Genodes Foundations
• Transition de composant terminée à l'API moderne
• Rationalisation des types d'exception
• Affectation et négociation du quota de capacité
• Services RAM et PD fusionnés du composant principal
• Exécution explicite des constructeurs statiques
• Séparation des signaux d'E / S des signaux au niveau de l'application
• Bibliothèques et composants de niveau système d'exploitation:
• Gestion dynamique des ressources et transfert de service via init
• Nouvelle API pour la synchronisation au niveau de l'utilisateur
• Notifications intrabandes dans la session du système de fichiers
• Affichage de la charge de la CPU basée sur le journal
• Surveillance du trafic réseau
• le profil libx POSIX en tant que bibliothèque partagée
• Déclaration d'état des composants de type bloc-périphérique
• Runtimes et applications:
• Fonctionnalité complète de VirtualBox 5 sur NOVA
• Langage de programmation Nim
• Qt5 mis à jour vers la version 5.8
• Plateformes:
• Exécution sur matériel simple (base-hw)
• Mise à jour du noyau de séparation de Muen
• Mise à jour du noyau Fiasco.OC
• Chaîne d'outils:
• Collection de compilateurs GNU (GCC) 6.3 incluant le support Ada
• Versions de débogage séparées des exécutables construits

Nouveautés dans la version 13.11:

• Cadre de base:
• Équilibrage dynamique des ressources
• C ++ 11 activé par défaut
• Amélioration du suivi des événements
• Infrastructure de bas niveau du système d'exploitation:
• Réseau Gigabit utilisant la pile Linux TCP / IP
• Amélioration du serveur d'interface graphique nitpicker
• Nouveaux services de terminal
• Nouveau serveur de système de fichiers pour les systèmes hybrides Genode / Linux
• Nouveau plugin C-runtime pour accéder aux blocs de périphériques
• Pilotes de périphérique:
• Graphics et USB HID pour Raspberry Pi
• HDMI pour Samsung Exynos 5
• Applications et bibliothèques:
• Qt5 avec prise en charge d'OpenGL et QML
• Nouveaux systèmes de fichiers basés sur FUSE
• Port de DosBox
• Environnements d'exécution:
• Fonctionnalités avancées du débogueur GNU
• Support ARM TrustZone sur Freescale i.MX53
• Plateformes:
• Base-HW activée pour les charges de travail dynamiques
• Gestion à vie de l'objet noyau sur NOVA
• Support de ballon pour L4Linux fonctionnant sur Fiasco.OC

Nouveautés dans la version 13.08:

• La sortie de la version 13.08 marque le 5ème anniversaire du framework Genode OS. Nous célébrons cet anniversaire avec l'ajout de trois fonctionnalités majeures que nous avons tant désirées, à savoir le port de Qt5 à Genode, un support multi-processeurs profond et un framework de traçage d'événements léger. En outre, la nouvelle version est livrée avec de nouveaux pilotes de périphériques pour SATA 3.0 et la gestion de l'alimentation pour le SoC Exynos-5, une meilleure prise en charge de la virtualisation sur NOVA sur x86, des noyaux mis à jour et des vérifications d'intégrité pour le code source tiers téléchargé.
• Au cours des cinq dernières années, le développement de Genode a été principalement motivé par l'ajout et la mise en culture de fonctionnalités permettant d'adapter le cadre à autant de domaines d'application que possible. Maintenant que nous avons une masse critique de fonctionnalités, l'accent mis sur la simple fonctionnalité ne suffit plus. La question de savoir ce que le Génode peut faire finalement se transforme en la question de savoir comment Genode peut faire quelque chose: Quelle est la stabilité d'une certaine charge de travail? Comment fonctionne le réseau? Comment évolue-t-il vers les systèmes multiprocesseurs? Parce que nous manquons de réponses concises à ce genre de questions, nous devons enquêter.
• Lorsque nous parlons de stabilité, notre infrastructure de tests automatisée récemment introduite nous rend plus confiants que jamais. Chaque soir, plus de 200 tests automatisés sont effectués, couvrant différents noyaux et plusieurs plateformes matérielles. Tous ces tests sont publiquement disponibles sous la forme de scripts dits run et sont en cours de développement.
• En ce qui concerne les enquêtes de performance, nous avons récemment commencé à comparer les performances des applications en se concentrant sur le débit du réseau. Fait intéressant, nos mesures révèlent des différences significatives entre les noyaux utilisés, mais aussi des lacunes dans notre pile de logiciels. Par exemple, nous voyons actuellement que notre version de lwIP fonctionne mal avec le réseau Gigabit. Pour étudier de manière approfondie de tels problèmes de performances, la version actuelle ajoute un support pour le suivi du comportement des composants Genode. Cela nous permettra d'acquérir une compréhension approfondie de toutes les interactions entre composants qui sont sur le chemin critique pour la performance des charges de travail complexes au niveau de l'application. Grâce à l'architecture Genode, nous avons pu créer une conception remarquablement simple mais puissante pour une installation de traçage. Section Le suivi des événements légers explique comment cela fonctionne.
• En ce qui concerne l'évolutivité multiprocesseurs, nous nous éloignions de ces demandes de renseignements car, honnêtement, nous n'y avons pas beaucoup réfléchi. Cette vue a changé maintenant. Avec la version actuelle, nous avons implémenté la gestion des affinités CPU au cœur du framework, c'est-à-dire le concept de session de Genode. En outre, nous avons craqué un dur écrou en permettant à Genode d'utiliser plusieurs CPU sur l'hyperviseur NOVA. Ce noyau est de loin le microkernel open-source le plus avancé pour l'architecture x86. Cependant, le modèle MP de NOVA semblait intrinsèquement en contradiction avec la conception de l'API de Genode. Heureusement, nous avons trouvé une façon assez élégante d'aller de l'avant et nous sommes en mesure d'apprivoiser la bête. Section Le support multi-processeurs amélioré va plus en détail.
• En termes de fonctionnalité, nous avons toujours considéré la disponibilité de Qt sur Genode comme un grand atout. Avec la version actuelle, nous sommes heureux d'annoncer que nous avons finalement fait le passage de Qt4 à Qt5. La section Qt5 disponible sur tous les noyaux donne un aperçu des défis auxquels nous avons été confrontés pendant le travail de portage.
• En plus de ces faits saillants, la nouvelle version est livrée avec des améliorations partout. Pour n'en nommer que quelques-uns, il existe une prise en charge améliorée des threads POSIX, des pilotes de périphériques mis à jour, une version mise à jour du noyau Fiasco.OC et L4Linux et de nouveaux pilotes de périphériques pour Exynos-5. Enfin, le problème de la vérification de l'intégrité des codes de source tiers téléchargés a été abordé.

Nouveautés dans la version 12.11:

• Le thème central de la version 12.11 de Genode OS Framework est l'auto-hébergement Genode sur Genode. Avec l'auto-hébergement, nous comprenons l'exécution de l'ensemble du système de génération Genode dans l'environnement Genode. Il y a deux motivations pour poursuivre cette ligne de travail. Tout d'abord, c'est une condition préalable fondamentale pour que les développeurs de Genode s'orientent vers l'utilisation de Genode comme système d'exploitation au jour le jour. Bien sûr, cette condition préalable pourrait être réalisée en utilisant l'une des solutions de virtualisation disponibles. Par exemple, nous pourrions exécuter L4Linux au dessus de Genode sur le noyau Fiasco.OC et utiliser le système de génération Genode à partir d'une instance de L4Linux. Cependant, ceci contrarie l'incitation primaire derrière Genode à réduire la complexité du système. En intégrant à la fois Genode et L4Linux, nous augmenterions la complexité globale de la configuration, de la maintenance et de l'utilisation du système. Par conséquent, nous préférerions en grande partie supprimer le terrain de l'utilisateur Linux complexe de l'image. La deuxième motivation est de prouver que le cadre et les plates-formes de base sous-jacentes sont adaptés et suffisamment stables pour une utilisation dans le monde réel.Si le système n'est pas en mesure de gérer une charge de travail telle que le système de construction, il est inutile de discuter de la valeur ajoutée d'avoir un système basé sur un micro-noyau par rapport aux systèmes d'exploitation courants tels que GNU / Linux.
• Nous sommes heureux d'avoir atteint l'état où nous pouvons exécuter le système de construction de Genode non modifié directement sur Genode fonctionnant sur un microkernel. Comme le système de construction est basé sur les utilitaires GNU et la collection de compilateurs GNU, des efforts significatifs ont été déployés entre ces outils et l'API Genode. Section Genode Genode sur Genode fournit un aperçu de la façon dont nous avons atteint l'objectif et la situation actuelle.
• Parallèlement à l'intégration du système de génération à Genode, de nombreuses améliorations et optimisations de la stabilité ont été apportées, allant des noyaux respectifs, au runtime C, aux implémentations du système de fichiers, aux allocateurs de mémoire jusqu'aux programmes actuels la chaîne d'outils est composée de. En parlant de la chaîne d'outils, la chaîne d'outils officielle Genode a été mise à jour de la version 4.6.1 de GCC à la version 4.7.2. Ainsi, tous les paquets de code tiers ont été soumis à des tests et à des corrections.
• Pour exécuter le système de construction, le projet se concentre actuellement sur NOVA et Fiasco.OC en tant que plates-formes de base. Cependant, notre plate-forme de noyau personnalisée pour l'architecture ARM a également reçu des améliorations significatives. Avec un support supplémentaire pour Freescale i.MX et Texas Instruments OMAP4, cette plate-forme s'est avérée très bien adaptable aux nouveaux SoC, tandis que la nouvelle gestion du cache apporte des améliorations de performance bienvenue. De plus, nous avons ajouté un support expérimental à la technologie ARM TrustZone, qui permet principalement l'exécution de Genode dans le monde dit sécurisé de TrustZone lors de l'exécution de Linux dans le monde dit normal.
• Nous avons découvert l'intérêt croissant pour l'utilisation de Genode en tant que solution middleware sous Linux. Nous avons largement revu le support de cette plate-forme noyau et découvert de nouvelles façons d'aligner le concept de Genode avec les mécanismes fournis par le noyau Linux. La section Linux fournit un résumé des nouvelles approches prises pour soutenir cette plate-forme.
• En termes de fonctionnalités, la nouvelle version introduit la prise en charge des pilotes audio de l'Open Sound System, un nouveau pilote GPIO OMAP4, des améliorations du terminal graphique et le port initial d'un client SSH.

Quoi de neuf dans la version 12.08:

• Avec le Genode 12.08, le projet s'est concentré sur le support de la plateforme. Il entre dans le monde des plates-formes ARM basées sur OMAP4, a relancé et a grandement amélioré le support pour l'hyperviseur NOVA, et devient capable de s'exécuter directement sur les plates-formes ARM sans avoir besoin d'un noyau sous-jacent.
• La nouvelle plate-forme base-hw est un écart par rapport à l'approche traditionnelle de Genode pour compléter les noyaux existants avec une infrastructure utilisateur-terrain. Il laisse complètement le noyau séparé hors de l'image et éclipse ainsi la base de base de la base de calcul de confiance des systèmes basés sur Genode à environ la moitié. La nouvelle plate-forme de base est décrite dans Section Genode sur le matériel ARM nu.
• En parlant de plates-formes de base, nous sommes heureux d'avoir fait de l'hyperviseur NOVA un citoyen de premier plan parmi les plates-formes de base. Au cours des derniers mois, ce noyau a subi des changements fondamentaux concernant son mode de développement et son ensemble de fonctionnalités. Cela nous a incités à améliorer considérablement le support de Genode pour cette plate-forme et à tirer parti de ses fonctionnalités uniques. Si l'on considère l'utilisation de Genode sur du matériel x86, NOVA est devenu une base très intéressante. La section Embrasser l'hyperviseur NOVA décrit les changements spécifiques à NOVA.
L'amélioration de la prise en charge de la plate-forme avec la version actuelle n'implique pas uniquement les plates-formes de base, mais s'étend aux ajouts profonds de pilotes de périphériques, en particulier pour le SoC OMAP4 basé sur ARM utilisé sur le populaire Pandaboard. Nous sommes fiers d'annoncer la disponibilité des pilotes de périphériques pour la sortie HDMI, la carte SD, le HID USB et la mise en réseau pour cette plate-forme.
• Au-delà des améliorations de plate-forme de bas niveau, la nouvelle version est livrée avec plusieurs nouveaux services, des optimisations de composants existants et de nouvelles bibliothèques portées. En particulier, le runtime Noux a atteint un point où nous pouvons principalement exécuter des applications réseau sérieuses telles que le navigateur web Lynx nativement sur Genode. Un autre exemple est le nouveau service de système de fichiers basé sur FFAT, qui rend le stockage persistant disponible via l'interface de système de fichiers de Genode. En combinant ce nouveau service avec des composants existants tels que le service de partition, Noux ou le plugin du système de fichiers de la libc, de nombreux nouveaux scénarios d'application deviennent disponibles. Grâce à ces nouveaux composants, le framework est devenu capable d'effectuer un débogage sur cible via GDB à Noux, ou d'héberger le site web genode.org via le serveur web lighttpd.

Quoi de neuf dans la version 12.02:

• La sortie de Genode 12.02 marque un point passionnant dans l'histoire du projet car c'est la première version développée en plein air plutôt que dans les salles de Genode Labs. Ainsi, nous avons adopté GitHub comme installation centrale de discussion et de gestion de code source. Ce changement a des avantages pour les utilisateurs et les développeurs du framework. Pour les utilisateurs, il est devenu possible de se familiariser avec les derniers développements en utilisant la branche génodelabs / master et de participer aux discussions sur les activités en cours. Pour les développeurs réguliers de Genode, le référentiel public Git remplace un ancien mélange de Subversion public et de référentiels Mercurial internes à l'entreprise, ce qui facilite grandement la vie. Dans la section Libération du processus de développement, nous décrivons la motivation de ce changement et donnons des indications sur les nouvelles ressources.
• Les nouveaux ajouts majeurs au système de base sont une nouvelle API d'infrastructure pour accéder aux ressources d'E / S mappées en mémoire, un support spécial pour l'utilisation de Genode comme infrastructure de composants au niveau de l'utilisateur sous Linux et la réutilisation des composants existants la forme des bibliothèques en bac à sable. Ces modifications s'accompagnent d'une nouvelle infrastructure de pilote de périphérique, telle que la première version d'un gestionnaire de pilotes de périphérique et d'un nouvel analyseur ACPI.
En ce qui concerne les fonctionnalités, la version actuelle fait les premiers pas vers l'objectif de la feuille de route pour 2012, transformant Genode en un système d'exploitation polyvalent prêt à être utilisé quotidiennement par ses développeurs. Selon la feuille de route, nous avons amélioré le runtime Noux avec la sémantique de fork afin de pouvoir exécuter des programmes GNU en ligne de commande tels que le shell bash et coreutils non modifiés et nativement sur divers microkernels. En outre, l'infrastructure de la bibliothèque a été améliorée par le portage et la mise à jour des bibliothèques telles que Qt 4.7.4 et le moteur de rendu PDF MuPDF.

Nouveautés dans la version 11.11:

• Une pléthore de niveaux de virtualisation:
• Virtualisation PC x86 fidèle activée par le VMM de Vancouver
• Android paravirtualisé
• Virtualisation au niveau de l'OS à l'aide de l'environnement d'exécution Noux
• Débogage GDB via la virtualisation au niveau de l'application
• Infrastructure de base, infrastructure de bas niveau:
• Gestion des exceptions d'UC au niveau de l'utilisateur
• Accès à distance à l'état du thread
• Amélioration de la latence de signalisation
• Optimisation pour les grandes tailles de mappage de la mémoire
• Bibliothèque C ++ standard
• Interface de session de terminal
• Éditeur dynamique
• Bibliothèques et applications:
• C runtime
• Moniteur de machine virtuelle de Vancouver
• Terminal TCP
• Terminal virtuel basé sur Framebuffer et ncurses
• Noux
• Moniteur GDB
• L4Linux / L4Android:
• Mise à jour de la version 3.0 du noyau
• Support Stub-driver
• L4Android
• Pilotes de périphérique:
• Environnement du pilote de périphérique pour les pilotes de réseau iPXE
• Pilote d'affichage PL110
• Pilote UART
• Support de la plate-forme:
• NOVA Microhypervisor version 0.4
• Fiasco.OC microkernel
• Mise à jour de la révision 38
• Interrogation et manipulation de threads distants
• Versatile Express Cortex-A9x4
• Linux
• Nouvelle implémentation IPC basée sur les sockets de domaine UNIX
• Prise en charge de la gestion manuelle des espaces sous-adresses locaux
• Amélioration de la gestion des programmes hybrides Linux / Genode
• L4ka :: Microkernel de pistache
• Construisez le système et les outils:
• Nouvelle chaîne d'outils basée sur GCC 4.6.1
• Optimisation de l'étape de construction dépendante de la bibliothèque
• Gestion améliorée des librairies et des paquets portés

Quoi de neuf dans la version 11.05:

• Nouvelle API pour la communication inter-processus de type sécurisé
• Prise en charge étendue de la plateforme Fiasco.OC
• Bibliothèques partagées
• Cadre de signalisation
• Support ARM RealView PBX-A9
• support x86 64 bits
• L4Linux (IA32 et ARM)
• Nouveau support GDB expérimental
• Support Device-I / O pour la plateforme MicroBlaze
• Pilotes de périphérique ARM RealView PBX pour l'entrée, l'affichage, le réseau et la carte SD
• Nouveaux scripts prêts à l'emploi pour tester facilement les différentes fonctionnalités de Genode telles que Qt4, lwIP, Noux, L4Linux, GDB

Quoi de neuf dans la version 10.02:

• Parmi les nombreuses améliorations liées aux plates-formes, la version 10.02 prend en charge les noyaux NOVA et Codezero et introduit un nouveau concept de gestion des priorités en temps réel.
• Réussissant la version précédente riche en fonctionnalités, le projet Genode a eu l'occasion de se concentrer sur l'extension du support de base du framework. Nous sommes heureux d'annoncer que nous avons pu compléter la gamme déjà large de noyaux supportés par deux nouveaux microkernels modernes à savoir NOVA et Codezero, tous les deux sortis en 2009. Genode fournit ainsi une infrastructure unifiée au niveau de l'utilisateur qui fonctionne directement sur ces noyaux ainsi que sous Linux (32 bits et 64 bits), OKL4v2 (x86 et ARMv4), L4 / Fiasco et L4ka :: Pistache. Pour les développeurs qui créent des applications basées sur un microcerneau, le framework cache les subtilités du noyau respectif. Mais il s'efforce également de rendre les capacités uniques de chaque plate-forme de base accessibles à l'utilisateur. Par exemple, avec la nouvelle version, nous avons rendu la programmation en temps réel d'OKL4 et L4ka :: Pistache disponible aux applications Genode.

Nouveautés dans la version 9.05:

• Applications:
• Intégration de Qt4
• Launchpad basé sur Qt4
• Services et pilotes du système d'exploitation:
• Tâches de performance de Nitpicker
• Bus PCI virtualisé pour pilote VESA
• Session USB et interface de périphérique
• Prise en charge USB:
• Pilote USB HID
• Pilotes de contrôleur hôte pour UHCI, OHCI et EHCI
• OKL4 comme nouvelle plateforme
• Prise en charge de la plate-forme Linux 64 bits
• Améliorations du cadre de base