AmbiML

sparrow-kernel

The seL4 microkernel

iree-rv32-springbok

sparrow-manifest

Project Sparrow: Repo Materials

sparrow-cantrip-full

sparrow-kata-full

trace-based-model

malamute

.github

ibex

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

sparrow-camkes-tool

The main CAmkES tool

sparrow-sel4runtime

A minimal runtime for seL4 applications.

we-moved

Placeholder to redirect people to https://opensecura.googlesource.com/

sparrow-build

sparrow-scripts

Project Sparrow: Build Scripts

sparrow-scripts-full

.allstar

sparrow-capdl

Capability Distribution Language tools for seL4

sparrow-seL4_libs

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

sparrow-seL4_tools

Basic tools for building seL4 projects

sparrow-sel4test

Test suite for seL4.

sparrow-util_libs