CertiKOS / compcert
Compcert repository of the Yale FLINT Group
☆11Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for compcert
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- RTOS based on L4 microkernel.☆16Updated 6 years ago
- Virtual Machine built as a CAmkES component.☆23Updated 4 months ago
- A Tree Parser Generator☆91Updated last month
- Documentation for 3D commands on Virgl3D☆26Updated 5 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 8 years ago
- A emulator for ARM programs. Aim to run ARM programs in x86 platform. The project is originally on source forge, at sourceforge.net/proj…☆26Updated 8 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 months ago
- NOVA userland☆48Updated 10 years ago
- K42 Kernel☆24Updated 12 years ago
- ☆25Updated 4 months ago
- Personal sandbox to make quick tests and how-tos for ARM development☆37Updated 4 years ago
- C++ REPL for bare-metal embedded devices☆25Updated last year
- A cross platform JIT engine based on Eclipse OMR☆25Updated 5 years ago
- Another C Library optimized for Embedded Linux☆60Updated 10 years ago
- Tool for creating portable self-containing Linux executable☆42Updated 4 years ago
- A linker script generator for SiFive's Freedom platform☆32Updated 2 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- Lemote PMON2000 boot loader.☆13Updated 11 years ago
- The Termite driver synthesis tool☆32Updated 7 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- Compiler for a new programming language: Embedded Systems Language (ESL).☆32Updated last year
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- Virtio draft specification☆63Updated 11 years ago
- BIOS-based boot menu and loader☆16Updated 7 years ago
- musl - an implementation of the standard library for Linux-based systems☆9Updated 3 years ago
- ☆34Updated 2 weeks ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆36Updated last year