Skip to content

@au-ts Trustworthy Systems

Change the repository type filter

All

    Repositories list

    41 repositories

    • sddf

      Public
      A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
      C
      •
      Other
      •25•36•44•14•Updated Oct 7, 2025Oct 7, 2025

    • microkit

      Public
      Experimental Microkit - for work that may never get merged upstream
      Rust
      •
      Other
      •60•1•0•2•Updated Oct 7, 2025Oct 7, 2025

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •719•1•0•1•Updated Oct 7, 2025Oct 7, 2025

    • lionsos

      Public
      A secure, fast, and adaptable OS based on the seL4 microkernel
      C
      •
      BSD 2-Clause "Simplified" License
      •28•146•45•8•Updated Oct 7, 2025Oct 7, 2025

    • libvmm

      Public
      A virtual machine monitor for the seL4 microkernel
      C
      •
      Other
      •18•43•19•3•Updated Oct 7, 2025Oct 7, 2025

    • microkit_sdf_gen

      Public
      Experimenting with higher-level tooling for the seL4 Microkit
      Zig
      •5•2•10•5•Updated Oct 6, 2025Oct 6, 2025

    • multikernel-manifest

      Public
      Shell
      •0•0•0•0•Updated Oct 1, 2025Oct 1, 2025

    • board_images_for_sel4

      Public
      Ready-to-go U-Boot images for seL4 development
      Nix
      •0•1•0•0•Updated Sep 30, 2025Sep 30, 2025

    • u-boot

      Public
      "Das U-Boot" Source Tree
      C
      •
      Other
      •4.1k•0•0•0•Updated Sep 30, 2025Sep 30, 2025

    • lionsos.org

      Public
      Documentation for LionsOS
      SCSS
      •2•0•3•1•Updated Sep 24, 2025Sep 24, 2025

    • device-specification

      Public
      HOL specification of device controllers
      0•0•0•0•Updated Sep 18, 2025Sep 18, 2025

    • rust-sel4

      Public
      Rust support for seL4 userspace
      Rust
      •30•0•0•0•Updated Sep 9, 2025Sep 9, 2025

    • cheshire

      Public
      A minimal Linux-capable 64-bit RISC-V SoC built around CVA6
      Verilog
      •
      Other
      •78•0•0•0•Updated Sep 4, 2025Sep 4, 2025

    • microkit_tutorial

      Public
      A tutorial for learning the seL4 Microkit
      C
      •8•11•3•1•Updated Sep 2, 2025Sep 2, 2025

    • seL4-docs

      Public
      This is the source of the seL4 docs.
      HTML
      •57•0•0•0•Updated Aug 27, 2025Aug 27, 2025

    • python3-bibtex

      Public
      C
      •0•0•0•0•Updated Aug 25, 2025Aug 25, 2025

    • sel4_profiler

      Public
      Profiling framework and related infrastructure for performance analysis of seL4 applications
      C
      •
      BSD 2-Clause "Simplified" License
      •1•1•3•1•Updated Aug 22, 2025Aug 22, 2025

    • arinc-scheduling

      Public
      ARINC scheduler in Microkit for the the INSPECTA project
      C
      •
      BSD 2-Clause "Simplified" License
      •0•2•0•0•Updated Aug 21, 2025Aug 21, 2025

    • libnfs

      Public archive
      Forked from https://github.com/sahlberg/libnfs
      C
      •
      Other
      •2•1•0•0•Updated Aug 21, 2025Aug 21, 2025

    • libmicrokitco

      Public
      C
      •0•1•2•0•Updated Aug 20, 2025Aug 20, 2025

    • seL4_tools

      Public
      Basic tools for building seL4 projects
      C
      •
      Other
      •96•0•0•0•Updated Aug 13, 2025Aug 13, 2025

    • machine_queue

      Public
      Machine Queue scripts for remote access to our CI system
      Shell
      •4•0•0•0•Updated Aug 12, 2025Aug 12, 2025

    • seL4-rfcs

      Public
      RFCs for the seL4 ecosystem
      Python
      •
      Other
      •6•0•0•1•Updated Jul 29, 2025Jul 29, 2025

    • util_libs

      Public
      C
      •
      Other
      •91•0•0•0•Updated Jul 28, 2025Jul 28, 2025

    • sel4test

      Public
      Test suite for seL4.
      C
      •
      Other
      •68•0•0•0•Updated Jul 28, 2025Jul 28, 2025

    • cva6

      Public
      This is the fork of CVA6 intended for PULP development.
      Assembly
      •
      Other
      •834•0•0•0•Updated Jul 2, 2025Jul 2, 2025

    • libgdb

      Public
      Experimental library and infrastructure for using GDB with the seL4 microkernel
      C
      •
      BSD 2-Clause "Simplified" License
      •1•2•4•1•Updated Jun 25, 2025Jun 25, 2025

    • cogent

      Public
      Cogent Project
      verificationprogramming-languagesfile-systemsisabelle-holco-generation
      Isabelle
      •
      Other
      •26•169•93•9•Updated Mar 18, 2025Mar 18, 2025

    • musllibc

      Public
      C
      •
      Other
      •0•1•0•0•Updated Mar 7, 2025Mar 7, 2025

    • ipbench2.buildroot

      Public
      Buildroot package for ipbench2
      Makefile
      •0•0•0•0•Updated Feb 16, 2025Feb 16, 2025