TUD-OS / NRE
NOVA runtime environment (official branch)
☆34Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for NRE
- NOVA userland☆48Updated 10 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆18Updated 8 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- ☆27Updated 8 years ago
- K42 Kernel☆24Updated 12 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 years ago
- memTrace, a framework for lightweight memory tracing☆55Updated 4 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆22Updated last year
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆45Updated 5 years ago
- The Bear Operating System☆24Updated 7 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆39Updated 5 years ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆16Updated 5 years ago
- Collection of community-maintained components for Genode☆45Updated this week
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- Virtual Machine built as a CAmkES component.☆23Updated 4 months ago
- My coreboot work☆23Updated 14 years ago
- UEFI boot loader☆78Updated 2 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- GNU Superoptimizer Version 2☆25Updated 3 years ago
- The Bareflank Processor Abstraction Layer☆37Updated 2 years ago
- XML representation of the x86 instruction set☆27Updated 2 years ago
- Basic tools for building seL4 projects☆43Updated 3 months ago
- Many Threads Operating System☆18Updated 2 years ago