Un système d'exploitation de micro-parcelles extrêmement modulaire et orienté vers la sécurité basé sur un nettoyage et une réécriture partielle du système d'exploitation cardinal.
Commande de configuration CMake, pour les versions hors source:
CC=x86_64-elf-cardinalsemi-gcc cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_SYSTEM_NAME= " Generic " ..Pour générer une clé de signature KMOD personnalisée, utilisez:
printf kerneltest0 | xxd -pu > KMOD_HMAC_Key.txtRemplacement de Kerneltest0 par la chaîne de source souhaitée
Pour définir la cible, dans la racine cMakelists.txt: set_platform (arch, plate-forme)
Valeurs possibles pour Arch:
Valeurs possibles pour la plate-forme:
Port du cardinal, sur le maintien jusqu'à ce que le modèle d'objet soit complètement étoffé.
L'étude des PRM et des tests affichez l'initialisation et le mode de mode pour Haswell.
Énumération des nœuds, le travail, la recherche de chemins et le développement de Coreaudio pour aller.
Aucun code de pilote pour le moment, en étudiant le pilote FreeBSD IWM et la spécification 802.11. S'attendre à commencer à travailler après la pile de réseau est peu fonctionnelle.
Le pilote mis en œuvre, agit comme pilote d'affichage de secours.
Prise en charge du clavier fonctionnant, support de souris Bugged. Ne s'inscrit pas encore à CoreInput.
WIP, fonctionnalité minimale requise pour tous les NIC basés sur RTL8169.
Le développement a chuté en raison du manque de support MSI.
Fonctionne s'il n'est pas utilisé en conjonction avec Virtionet, enregistre correctement avec CoreDisplay. Accélération 3D non disponible.
Fonctionne s'il n'est pas utilisé en conjonction avec Virtiogpu, enregistre avec Corennetwork.