heshamelmatary

Pinned Repositories

rtems-epiphany
RTEMS port for Epiphany (running on Parallella board)
Language:C2 2 00
rtems-microblaze
RTEMS Port for Microblaze soft processor
Language:C3 4 11
rtems-riscv
Language:C5 2 01
sel4-cheri
Language:C2 2 00
sel4-riscv
sel4-riscv Port
Language:Shell7 4 03
seL4-riscv-mk
seL4 microkernel RISC-V port (OUTDATED!)
Language:C8 3 51
seL4-rtems
Language:C2 3 00
wb_riscvscale
This is a wishbone compliant RISCV Vscale core intended to run part of FuseSoC project with other (open)cores.
Language:Verilog62
rtems
Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems
Language:C650 91 0371
seL4
The seL4 microkernel
Language:C4.8k 205 428676

heshamelmatary's Repositories

heshamelmatary/seL4-riscv-mk
seL4 microkernel RISC-V port (OUTDATED!)
Language:C8 3 51
heshamelmatary/rtems-microblaze
RTEMS Port for Microblaze soft processor
Language:C3 4 11
heshamelmatary/sel4-cheri
Language:C2 2 00
heshamelmatary/sel4riscv-manifest
2 2 12
heshamelmatary/clang
Fork of Clang with CHERI support and capability extensions
Language:C++1 3 00
heshamelmatary/llvm-project
Fork of LLVM adding CHERI support
Language:C++1 2 0
heshamelmatary/seL4
The seL4 microkernel
Language:C1 3 01
heshamelmatary/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
Language:ASL1 0
heshamelmatary/busybox
Language:C1 0
heshamelmatary/cheribuild
Easily build and run CHERI related projects
Language:Python1 0
heshamelmatary/FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
Language:C1 0
heshamelmatary/heshamelmatary.github.io
Language:HTML1 0
heshamelmatary/linux
Linux kernel source tree
Language:C2 0
heshamelmatary/musllibc
Language:C2 01
heshamelmatary/newlib
Newlib adapted to run on baremetal MIPS QEMU
Language:C2 0
heshamelmatary/Piccolo
RISC-V CPU, simple 3-stage pipeline, for low-end applications (e.g., embedded, IoT)
Language:Verilog2 0
heshamelmatary/projects_libs
Language:C++2 0
heshamelmatary/qemu-icecap
Language:C3 0
heshamelmatary/riscv-isa-sim
RISC-V Functional ISA Simulator
Language:C2 0
heshamelmatary/riscv-pk
RISC-V Proxy Kernel
Language:C2 0
heshamelmatary/rtems-cron-helpers
Scripts to setup and run RTEMS test scripts scheduled by cron
Language:Shell1 0
heshamelmatary/sail-riscv
Sail RISC-V model
Language:C1 0
heshamelmatary/seL4_libs
Language:C2 01
heshamelmatary/seL4_tools
Language:C2 01
heshamelmatary/sel4bench
sel4 benchmarking applications and support library.
Language:C2 0
heshamelmatary/sel4test
Test suite for seL4.
Language:C2 01
heshamelmatary/TestRIG
Testing processors with Random Instruction Generation
Language:Haskell2 0
heshamelmatary/uclibc-ng
Language:C1 0
heshamelmatary/uldso
Language:C1 0
heshamelmatary/util_libs
Language:C2 01