Skip to content
@au-ts

Trustworthy Systems

The Trustworthy Systems research group in Australia

Popular repositories

  1. cogent cogent Public

    Cogent Project

    Isabelle 156 26

  2. lionsos lionsos Public

    A secure, fast, and adaptable OS based on the seL4 microkernel

    C 70 5

  3. libvmm libvmm Public

    An experimental virtual machine monitor for the seL4 microkernel

    C 20 9

  4. sddf 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 11 9

  5. microkit_tutorial microkit_tutorial Public

    A tutorial for learning the seL4 Microkit

    C 5 7

  6. ipbench ipbench Public

    A benchmark suite for repeatable and reliable testing of IP networks.

    C 3 1

Repositories

Showing 10 of 19 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 11 BSD-2-Clause 9 9 4 Updated Jun 6, 2024
  • libvmm Public

    An experimental virtual machine monitor for the seL4 microkernel

    C 20 BSD-2-Clause 9 15 7 Updated Jun 5, 2024
  • lionsos Public

    A secure, fast, and adaptable OS based on the seL4 microkernel

    C 70 BSD-2-Clause 5 12 6 Updated Jun 4, 2024
  • microkit_tutorial Public

    A tutorial for learning the seL4 Microkit

    C 5 7 1 2 Updated May 14, 2024
  • libnfs Public
    C 1 1 0 0 Updated May 1, 2024
  • sel4_profiler Public

    Profiling framework and related infrastructure for performance analysis of seL4 applications

    C 1 BSD-2-Clause 0 3 0 Updated Apr 26, 2024
  • lionsos_docs Public

    Documentation for LionsOS

    SCSS 1 1 0 0 Updated Apr 21, 2024
  • libgdb Public

    Experimental library and infrastructure for using GDB with the seL4 microkernel

    C 2 BSD-2-Clause 1 4 0 Updated Mar 31, 2024
  • gordian Public
    Python 0 BSD-2-Clause 1 0 0 Updated Mar 28, 2024
  • ipbench Public

    A benchmark suite for repeatable and reliable testing of IP networks.

    C 3 GPL-2.0 1 14 1 Updated Mar 27, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…