au-ts Goto Github PK

bamboo_build_lights

Scripts for controlling the red/green seL4 lights and the Lavalamps based on the build status of Bamboo

camkes_to_microkit_guide

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

cogent

Cogent Project

confluence-to-dokuwiki

A python script to convert a confluence export (and its attachments) to a structure that works with DokuWiki

dmarc

Scripts for managing and displaying dmarc delivery reports

gordian

gordian-relation-proof

This repository contains the proof that the relation between the microkit state machine is maintained with kernel projection, in SMT.

gordian-smt-profiler

A "frontend" independent query profiling tool for Z3, mostly ripped off Verus

ipbench

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

isabelle-setup-instructions

Scott's flattened installation instructions for L4V Isabelle on Debian.

isabelle-symbols-bitbucket-github

A userscript to render Isabelle symbols in unicode in Bitbucket and Github repos (for use with tampermonkey / greasemonkey).

libgdb

Experimental library and infrastructure for using GDB with the seL4 microkernel

libmicrokitco

libnfs

libvmm

An experimental virtual machine monitor for the seL4 microkernel

lionsos

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

lionsos_docs

Documentation for LionsOS

microkit_tutorial

A tutorial for learning the seL4 Microkit

musllibc

python3-bibtex

sddf

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

sel4_profiler

Profiling framework and related infrastructure for performance analysis of seL4 applications