Skip to content

@seL4 seL4 microkernel and related repositories

Change the repository type filter

All

    Repositories list

    24 repositories

    • seL4

      Public
      The seL4 microkernel
      osmicrokernelsel4sel4-microkernel
      C
      •
      Other
      •665•4.7k•149•53•Updated Oct 17, 2024Oct 17, 2024

    • rumprun-sel4-demoapps

      Public
      Apps for running with the rumprun unikernel on seL4.
      C
      •
      Other
      •9•29•5•1•Updated Oct 17, 2024Oct 17, 2024

    • docs

      Public
      This is the source of the seL4 docs.
      documentationsel4
      C
      •52•16•11•5•Updated Oct 18, 2024Oct 18, 2024

    • seL4_libs

      Public
      No-assurance libraries for rapid-prototyping of seL4 apps.
      C
      •
      Other
      •64•52•9•10•Updated Sep 9, 2024Sep 9, 2024

    • picotcp

      Public
      PicoTCP is a free TCP/IP stack implementation
      C
      •
      Other
      •219•2•0•0•Updated Sep 4, 2024Sep 4, 2024

    • picotcp-bsd

      Public
      BSD POSIX-compliant socket support for PicoTCP running on any OS.
      C
      •
      GNU General Public License v2.0
      •21•1•0•0•Updated Sep 4, 2024Sep 4, 2024

    • seL4_tools

      Public
      Basic tools for building seL4 projects
      sel4
      C
      •
      Other
      •89•43•12•22•Updated Aug 13, 2024Aug 13, 2024

    • sel4test

      Public
      Test suite for seL4.
      C
      •
      Other
      •61•25•16•10•Updated Jul 26, 2024Jul 26, 2024

    • sel4runtime

      Public
      A minimal runtime for seL4 applications.
      C
      •
      Other
      •29•12•4•1•Updated Jul 2, 2024Jul 2, 2024

    • camkes

      Public
      Component Architecture test suite and example apps.
      camkes
      C
      •
      Other
      •37•27•4•3•Updated Jul 2, 2024Jul 2, 2024

    • camkes-vm

      Public
      Virtual Machine built as a CAmkES component.
      camkes
      C
      •
      Other
      •35•24•5•12•Updated Jul 2, 2024Jul 2, 2024

    • seL4_projects_libs

      Public
      C
      •
      Other
      •36•19•10•18•Updated Jul 2, 2024Jul 2, 2024

    • musllibc

      Public
      C
      •
      Other
      •45•24•3•0•Updated Jul 2, 2024Jul 2, 2024

    • camkes-vm-examples

      Public
      camkes
      C
      •
      Other
      •27•16•2•6•Updated Jul 2, 2024Jul 2, 2024

    • util_libs

      Public
      C
      •
      Other
      •84•55•18•13•Updated Jul 2, 2024Jul 2, 2024

    • sel4bench

      Public
      sel4 benchmarking applications and support library.
      C
      •
      Other
      •30•18•9•4•Updated Jul 2, 2024Jul 2, 2024

    • global-components

      Public
      C
      •
      Other
      •30•4•7•4•Updated Jul 2, 2024Jul 2, 2024

    • rumprun

      Public
      The Rumprun unikernel and toolchain for various platforms
      C
      •
      Other
      •128•9•2•0•Updated Jul 2, 2024Jul 2, 2024

    • refos

      Public
      Prototype no-assurance reference OS personality built on seL4
      C
      •
      Other
      •23•49•1•0•Updated Sep 13, 2021Sep 13, 2021

    • pruner

      Public
      Tool for trimming functions from a C source file
      C
      •
      Other
      •3•2•0•0•Updated Aug 27, 2021Aug 27, 2021

    • riscv-pk

      Public
      RISC-V Proxy Kernel
      C
      •
      Other
      •308•1•0•0•Updated Aug 6, 2021Aug 6, 2021

    • camkes-vm-apps

      Public archive
      CAmkES vm apps for all platforms
      C
      •
      Other
      •3•0•0•0•Updated May 26, 2021May 26, 2021

    • mcs-examples

      Public
      Native seL4 and CAmkES examples of mixed criticality mechanisms.
      C
      •
      Other
      •1•1•0•0•Updated May 13, 2021May 13, 2021

    • camkes-arm-vm

      Public archive
      C
      •
      Other
      •10•11•0•0•Updated Jan 18, 2021Jan 18, 2021