TUD-OS / NRELinks
NOVA runtime environment (official branch)
☆34Updated 4 years ago
Alternatives and similar repositories for NRE
Users that are interested in NRE are comparing it to the libraries listed below
Sorting:
- NOVA userland☆48Updated 11 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- 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
- K42 Kernel☆29Updated 13 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆43Updated 6 years ago
- A basic microkernel☆36Updated 12 years ago
- Metta OS☆71Updated 10 months ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- resurrected LLVM "C Backend", with improvements☆129Updated 4 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- Virtual machine monitor for L4Re☆32Updated 3 weeks ago
- Virtual Machine built as a CAmkES component.☆24Updated 3 weeks ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- LLVM backend for OpenRISC 1000☆29Updated 7 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
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- QEMU with support for CHERI☆59Updated this week
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆80Updated 3 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- The Bareflank Processor Abstraction Layer☆38Updated 3 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- ☆19Updated 10 years ago
- OPAL boot and runtime firmware for POWER☆109Updated 2 months ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆23Updated 10 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆27Updated 7 years ago