sel4-microkernel

There are 1 repository under sel4-microkernel topic.

• seL4 / seL4

  The seL4 microkernel

  microkernelossel4sel4-microkernel
  Language:C 4622

• seL4 / l4v

  seL4 specification and proofs

  formalisationisabelleproofsel4-microkernelsel4-proofs
  Language:Isabelle 495

• jonlamb-gh / rpi3-rust-fel4-workspace

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

  sel4sel4-microkernelfel4aarch64cargo-fel4rustrust-embeddedraspberry-pi-3dmagpuembedded-halrpi3gpu-memorygraphics
  Language:Rust 6

• manu88 / Sofa

  Operating System built on top of the seL4 microkernel.

  sel4operating-systemshellegasel4-microkernel
  Language:C 5

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

  demand-pagingdevice-driversfile-serverinterrupt-handlingmemory-managementoperatingsystemssecuritysel4-microkernelsyscallsvirtual-memoryprocess-management-serverthreaded-execution-modeltimerdriver
  Language:C 0

• chunky125 / sel-claw

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

  rustsel4sel4-microkernel
  Language:Rust 0

• seL4 / whitepaper

  Source for the seL4 white paper

  sel4sel4-microkernelosmicrokernel
  Language:Perl 0

• muxinyu1 / graduation-design

  本科毕业设计

  rustsel4sel4-microkernel