1 repositorio
Awesome GitHub RepositoriesDeclarative System Initializers
Routines that create kernel objects and capabilities from a formal declarative specification to establish the initial system state.
Distinct from System Boot Initializers: Distinct from System Boot Initializers: creates objects from a declarative capability specification, not just booting the processor.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Declarative System Initializers. Refine with filters or upvote what's useful.
Awesome Declarative System Initializers GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- sel4/sel4
seL4/seL4
5,583Ver en GitHubseL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b
Creates kernel objects and capabilities from a formal capDL specification to establish the initial system state.
Cmicrokernelossel4
