Hesham Almatary's repositories
seL4-riscv-mk
seL4 microkernel RISC-V port (OUTDATED!)
rtems-microblaze
RTEMS Port for Microblaze soft processor
llvm-project
Fork of LLVM adding CHERI support
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
cheribuild
Easily build and run CHERI related projects
FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
newlib
Newlib adapted to run on baremetal MIPS QEMU
riscv-isa-sim
RISC-V Functional ISA Simulator
rtems-cron-helpers
Scripts to setup and run RTEMS test scripts scheduled by cron
sail-riscv
Sail RISC-V model