heshamelmatary

seL4-riscv-mk

seL4 microkernel RISC-V port (OUTDATED!)

rtems-microblaze

RTEMS Port for Microblaze soft processor

sel4-cheri

sel4riscv-manifest

clang

Fork of Clang with CHERI support and capability extensions

llvm-project

Fork of LLVM adding CHERI support

seL4

The seL4 microkernel

acpica

The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to

busybox

cheribuild

Easily build and run CHERI related projects

FreeRTOS

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

heshamelmatary.github.io

linux

Linux kernel source tree

musllibc

newlib

Newlib adapted to run on baremetal MIPS QEMU

Piccolo

RISC-V CPU, simple 3-stage pipeline, for low-end applications (e.g., embedded, IoT)

projects_libs

qemu-icecap

riscv-isa-sim

RISC-V Functional ISA Simulator

riscv-pk

RISC-V Proxy Kernel

rtems-cron-helpers

Scripts to setup and run RTEMS test scripts scheduled by cron

sail-riscv

Sail RISC-V model

seL4_libs

seL4_tools

sel4bench

sel4 benchmarking applications and support library.

sel4test

Test suite for seL4.

TestRIG

Testing processors with Random Instruction Generation

uclibc-ng

uldso

util_libs