xiangzhai / dragoneggLinks
DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
☆19Updated 6 years ago
Alternatives and similar repositories for dragonegg
Users that are interested in dragonegg are comparing it to the libraries listed below
Sorting:
- K42 Kernel☆28Updated 13 years ago
- NOVA userland☆48Updated 11 years ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆17Updated 5 years ago
- ALLVM Tools☆56Updated 3 years ago
- Fork of LLVM adding CHERI support☆58Updated this week
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- NOVA runtime environment (official branch)☆34Updated 4 years ago
- ☆28Updated 2 months ago
- sel4 benchmarking applications and support library.☆20Updated last month
- Since the main implementation is in trunk, this is open just for occasional WIP and ideas.☆12Updated last week
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- ☆32Updated last year
- Easy the setup and startup of the IBM POWER Functional Simulator. It automatizes all the required procedures like dependencies installati…☆22Updated 7 years ago
- pure-python C types packer/unpacker☆18Updated 5 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆54Updated 2 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated 2 weeks ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆20Updated this week
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …☆23Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆26Updated 6 years ago
- QEMU with support for CHERI☆58Updated 3 weeks ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- Capability Distribution Language tools for seL4☆37Updated 4 months ago
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- Videocore Backend for llvm☆22Updated 10 years ago
- Advanced Operating Systems project☆20Updated 10 months ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆119Updated 5 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆82Updated 3 weeks ago
- The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…☆71Updated 2 years ago