1 रिपॉजिटरी
Awesome GitHub RepositoriesMicrokernel Platform Porting
Porting a formally verified microkernel to new ARM, RISC-V, and x86 platforms with device tree support and driver frameworks.
Distinct from Platform Ports: No candidate covers microkernel platform porting; closest is Platform Ports which is about game ports.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Microkernel Platform Porting. Refine with filters or upvote what's useful.
Awesome Microkernel Platform Porting GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- sel4/sel4
seL4/seL4
5,583GitHub पर देखेंseL4 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
Provides a formally verified microkernel that can be ported to new ARM and RISC-V platforms.
Cmicrokernelossel4
