sel4-microkernel · GitHub Topics

seL4 / seL4

The seL4 microkernel

sel4-microkernel 操作系统 Kernel sel4

C 4.98 k

6 天前

seL4 / l4v

seL4 specification and proofs

sel4-microkernel

Isabelle 547

10 天前

manu88 / Sofa

Operating System built on top of the seL4 microkernel.

sel4 操作系统 Shell sel4-microkernel

C 9

4 年前

jonlamb-gh / rpi3-rust-fel4-workspace

Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3

sel4 sel4-microkernel aarch64 Rust 树莓派 dma gpu embedded-hal rpi3 graphics

Rust 6

7 年前

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 server...

file-server memory-management operatingsystems 安全 sel4-microkernel syscalls virtual-memory

C 2

2 年前

seL4 / whitepaper

Source for the seL4 white paper

sel4 sel4-microkernel 操作系统 Kernel

Perl 1

5 个月前

tw4452852 / zig_sel4

Writing Sel4 application in Zig

sel4 sel4-microkernel Zig

Zig 1

2 个月前

muxinyu1 / graduation-design

本科毕业设计

Rust sel4 sel4-microkernel

1 年前