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. ...
LightBSD est une source ouverte et totalement gratuit système d'exploitation BSD basée sur la distribution FreeBSD et conçu pour être aussi léger et facile à utiliser que possible.LightBSD est conçu de telle sorte qu'il fournit un processus...
helenos projet est un effort pour développer un système d'exploitation de travail selon les spécifications helenos. Helenos soutient SMP, le multitâche et multithreading sur les deux 32-bit et 64-bit, little-endian et big-endian, architectures de...
FreeRTOS est une source ouverte et portable, mini Real Time Kernel - pour télécharger gratuitement et libre RTOS gratuits qui peuvent être utilisés dans des applications commerciales.Ports existent pour beaucoup différentes architectures de processeur et...
eyeOS est une plate-forme open source conçu pour accueillir une grande variété d'applications Web sur elle.eyeOS est évolutive, donc tout le monde peut porter une application PHP existante pour eyeOS et de créer un méta-paquet pour...
RISC OS pour Raspberry Pi est un système d'exploitation pour l'ARM & nbsp; l'architecture, spécialement conçu pour l'appareil Raspberry Pi, et basée sur RISC OS.RISC OS pour Raspberry Pi est un système d'exploitation distribué...
Haiku est un système open source d'exploitation en cours de développement qui cible spécifiquement l'informatique personnelle & nbsp;. Inspiré par le Be système d'exploitation, Haiku vise à devenir un système rapide, efficace, simple à...
Jibbed est une distribution LiveCD basé sur le système d'exploitation NetBSD que & nbsp; travaille directement à partir d'un CD.La distribution contient un logiciel de la Fondation NetBSD qui est autorisé selon la licence 4 de la clause de la...
FreeBSD pour Raspberry Pi est une distribution BSD pour l'architecture ARM, spécialement conçu pour l'appareil Raspberry Pi.FreeBSD pour Raspberry Pi est un système d'exploitation distribué gratuitement à tous les utilisateurs Raspberry Pi.Nom...
NetBSD pour Raspberry Pi est une distribution BSD pour l'architecture ARM, spécialement conçu pour l'appareil Raspberry Pi.NetBSD pour Raspberry Pi est un système d'exploitation distribué gratuitement à tous les utilisateurs Raspberry Pi Ce...
