Pinned Repositories
aos_tests
Shared user-land tests for comp9242
boringtun
Userspace WireGuard® Implementation in Rust
Buildroot.cmake
CMake module for working with Buildroot
cakeml
CakeML: A Verified Implementation of ML
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
camkes-vm
Virtual Machine build as a CAmkES component.
camkes-vm-examples
capdl
Capability Distribution Language tools for seL4
kent-mcleod's Repositories
kent-mcleod/camkes
Component Architecture test suite and example apps.
kent-mcleod/boringtun
Userspace WireGuard® Implementation in Rust
kent-mcleod/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.
kent-mcleod/camkes-tool
The main CAmkES tool
kent-mcleod/camkes-vm
Virtual Machine build as a CAmkES component.
kent-mcleod/camkes-vm-examples
kent-mcleod/capdl
Capability Distribution Language tools for seL4
kent-mcleod/CASE
DARPA CASE program
kent-mcleod/case-ta6-platform-assessment-camkes-apps
CAmkES applications for the DARPA CASE program Platform Assessment #1
kent-mcleod/docs
This is the source of the seL4 docs.
kent-mcleod/elixir-cmake
CMake compiler for Mix
kent-mcleod/global-components
kent-mcleod/journal
kent-mcleod/kent-mcleod.github.io
kent-mcleod/musllibc
kent-mcleod/phd
kent-mcleod/rumprun
The Rumprun unikernel and toolchain for various platforms
kent-mcleod/rust-www
The Rust website
kent-mcleod/rustwall
Rust firewall for seL4
kent-mcleod/seL4
The seL4 microkernel
kent-mcleod/seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
kent-mcleod/seL4_projects_libs
kent-mcleod/seL4_tools
Basic tools for building seL4 projects
kent-mcleod/sel4bench
sel4 benchmarking applications and support library.
kent-mcleod/sel4runtime
A minimal runtime for seL4 applications.
kent-mcleod/sel4test
Test suite for seL4.
kent-mcleod/sel4test-manifest
Project to build and test seL4 for many different platforms
kent-mcleod/sel4webserver
An seL4 reference webserver application
kent-mcleod/tidy-markdown
Beautify Markdown, fixing formatting mistakes and standardizing syntax
kent-mcleod/util_libs