Making Microkit easy. A shady place for LionsOS

A simple and secure email-based verification bot for UNSW students and staff, hosted for free by the UNSW Security Society.

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

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Microkit - A simple operating system framework for the seL4 microkernel

Machine Queue scripts for remote access to our CI system

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