GitHub topics: sel4-microkernel
seL4/seL4
The seL4 microkernel
Language: C - Size: 14.3 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 5,006 - Forks: 704
seL4/l4v
seL4 specification and proofs
Language: Isabelle - Size: 98.3 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 551 - Forks: 113
tw4452852/zig_sel4
Writing Sel4 application in Zig
Language: Zig - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
seL4/whitepaper
Source for the seL4 white paper
Language: Perl - Size: 5.77 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 3
muxinyu1/graduation-design
本科毕业设计
Size: 39.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
chunky125/sel-claw Fork of auxoncorp/selfe-sys
A rust runtime for sel4, based on selfe-sys and sel4-runtime
Language: Rust - Size: 503 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
ChasingTheDream369/Newfangled-Operating-System-over-seL4-Microkernel
🌟Welcome to Newfangled OS 🚀Unveiling the Newfangled Operating System-a remarkable blend of innovation and security built on the impervious seL4 Microkernel.🛡️Our journey began with dedicated servers and a threaded execution model,including File and Process Management servers, and a robust Interrupt Handling thread.🛠️📊Join us in the revolution.
Language: C - Size: 24 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
manu88/Sofa
Operating System built on top of the seL4 microkernel.
Language: C - Size: 6.77 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1
jonlamb-gh/rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
Language: Rust - Size: 134 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 2
