au-ts/lionsos au-ts/lionsos

  • Stars
    star
    84
  • Rank 389,211 (Top 8 %)
  • Language
    C
  • License
    BSD 2-Clause "Sim...
  • Created over 1 year ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
au-ts/lionsos
github

au-ts

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

cogent

Cogent Project
Isabelle
157
star
2

libvmm

An experimental virtual machine monitor for the seL4 microkernel
C
27
star
3

sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
C
16
star
4

microkit_tutorial

A tutorial for learning the seL4 Microkit
C
6
star
5

ipbench

A benchmark suite for repeatable and reliable testing of IP networks.
C
3
star
6

libgdb

Experimental library and infrastructure for using GDB with the seL4 microkernel
C
2
star
7

gordian-smt-profiler

A "frontend" independent query profiling tool for Z3, mostly ripped off Verus
Rust
1
star
8

camkes_to_microkit_guide

A guide for migrating systems built on seL4 using CAmkES to Microkit
1
star
9

libnfs

C
1
star
10

sel4_profiler

Profiling framework and related infrastructure for performance analysis of seL4 applications
C
1
star
11

lionsos_docs

Documentation for LionsOS
SCSS
1
star