xurtis

autumn

Functional parser for the Rust programming language

import

POSIX shell script imports

honours-thesis

prime-profile

Profiling different languages by counting all the 30-bit positive prime numbers.

sel4-example

AOS

Advanced Operating Systems project

cakeml_libs

A collection of libraries and utilities to be used with CakeML applications.

camkes

Component Architecture test suite and example apps.

camkes-manifest

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

camkes-tool

The main CAmkES tool

capdl

Capability Distribution Language tools for seL4

ci-actions

CI GitHub actions for the seL4 repositories

global-components

libnfs

NFS client library

mq-health-check

musllibc

orienteering-nsw

iCal calendars pulled from Eventor for australian events

projects_libs

pruner

Tool for trimming functions from a C source file

rumprun

The Rumprun unikernel and toolchain for various platforms

seL4

The seL4 microkernel

sel4-github

github scripts for sel4-related tasks.

sel4-issues

seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

seL4_projects_libs

seL4_tools

Basic tools for building seL4 projects

sel4runtime

A minimal runtime for seL4 applications.

sel4test

Test suite for seL4.

util_libs

xurtis.pw

Github Pages Repo