heshamelmatary Goto Github PK

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

binutils

Port of the GNU Assembler to the CHERI CPU

buffer

This is just a buffer to move some personal stuff around. Ignore it as it most likely wouldn't make any sense to you.

busybox

camkes

Component Architecture test suite and example apps.

caternel

SMP Interactive uKernel

cheribuild

Easily build and run CHERI related projects

clang

Fork of Clang with CHERI support and capability extensions

common-tool

Part of the seL4 build system.

docs

This is the source of the seL4 docs.

elfloader-tool

seL4 tool to load ELF files.

elfloader-tool-rtems

This is a modified elfloader tools that enables loading/running RTEMS from seL4.

epiphany-binutils

Binutils for Epiphany

epiphany-binutils-gdb

Merged gdb and binutils repository

epiphany-gcc

GCC for Epiphany

epiphany-newlib

Newlib for Epiphany

freertos

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

fusesoc

gci_tasks

Google Code In Tasks

heshamelmatary.github.io

kbuild-tool

ldd3-samples

Sample code from Linux Device Drivers, 3rd Edition (O'Reilly 2005)

libcpio

CPIO archive libary

libelf

Library for manipulating ELF files --- needed for booting seL4 systems

libmuslc

MUSL C library ported to seL4

libplatsupport

OS independent basic driver library (mostly timers, serial, clocks)

libsel4allocman

memory, object and capability allocator for seL4 that implements vka, compatible with experimental and master branches.

libsel4cspace

libsel4muslcsys

MUSL C Library -- for seL4

libsel4platsupport

Library of drivers for seL4 -- uses libplatsupport for OS independent functionality.