Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Pipcore est un projet open source dédié à la création de noyaux de système d'exploitation. Il fournit des outils pour le développement d'interfaces entre Coq et C, la gestion de la mémoire avec le Memory Abstraction Layer et le développement de partitions pour les architectures spécifiques. Le projet est couvert par la licence CeCILL-A.
3 initiatives
10