#

sel4-microkernel

Here are 8 public repositories matching this topic...

seL4 / seL4

The seL4 microkernel

os microkernel sel4 sel4-microkernel

Updated Dec 4, 2024
C

seL4 / l4v

seL4 specification and proofs

proof isabelle formalisation sel4-proofs sel4-microkernel

Updated Dec 3, 2024
Isabelle

manu88 / Sofa

Operating System built on top of the seL4 microkernel.

shell operating-system ega sel4 sel4-microkernel

Updated Nov 28, 2021
C

jonlamb-gh / rpi3-rust-fel4-workspace

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

rust gpu graphics gpu-memory rpi3 aarch64 dma raspberry-pi-3 sel4 rust-embedded embedded-hal fel4 sel4-microkernel cargo-fel4

Updated Dec 8, 2018
Rust

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.

security file-server memory-management syscalls virtual-memory operatingsystems demand-paging sel4-microkernel device-drivers interrupt-handling threaded-execution-model process-management-server timerdriver

Updated Sep 1, 2023
C

chunky125 / sel-claw

A rust runtime for sel4, based on selfe-sys and sel4-runtime

rust sel4 sel4-microkernel

Updated Nov 5, 2023
Rust

muxinyu1 / graduation-design

本科毕业设计

rust sel4 sel4-microkernel

Updated Jun 3, 2024

seL4 / whitepaper

Source for the seL4 white paper

os microkernel sel4 sel4-microkernel

Updated May 7, 2024
Perl

Improve this page

Add a description, image, and links to the sel4-microkernel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sel4-microkernel topic, visit your repo's landing page and select "manage topics."