SeL4

Microkernel

Texte en anglais

Dernier prix

—

Prix plancher

—

Médiane 7 j

—

Ventes 30 j

Fourchette 30 j

—

En circulation

Cours

Voir le tableau

Date	médiane	Min	Max	ventes

Historique des ventes

Dernière vente: —
Moyenne 30 j: —
Plus bas 30 j: —
Plus haut 30 j: —
Ventes 7 j: 0
Ventes 30 j: 0

Aucune vente pour l'instant.

Ventes anonymes : ni acheteur ni vendeur. Les chiffres ne comptent que les ventes entre joueurs.

Sur Wikipédia

Texte en anglais Pas encore d'article dans ta langue : extrait en anglais.

seL4 (security enhanced L4) is an open-source, high-assurance, capability-based microkernel. It inherits the performance and design characteristics of the L4 microkernel lineage but is implemented using high-assurance methods. seL4 uses formal mathematical verification to prove the system's confidentiality, integrity, availability among other properties. The initial paper outlining seL4's verification was inducted into the 2019 ACM SIGOPS Hall of Fame. The kernel is extremely minimal, handling only memory management, process isolation, and scheduling. Its Inter-Process Communication (IPC) acts as a protected procedure call for cross-domain invocation rather than general-purpose message passing.

Texte : Wikipédia en anglais, CC BY-SA 4.0. ·