TUD-OS / NRELinks
NOVA runtime environment (official branch)
☆34Updated 3 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 3 years ago
- Collection of community-maintained components for Genode☆47Updated 3 weeks ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- I-cache line packing and branch misprediction measuring tool☆18Updated 8 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Many Threads Operating System☆18Updated 3 years ago
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- XML representation of the x86 instruction set☆28Updated last week
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Updated 6 years ago
- The BERI and CHERI processor and hardware platform☆49Updated 8 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- A (GCC) compiler plugin for multiversing functions☆20Updated 3 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
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆17Updated 5 years ago
- RISC-V strace port☆13Updated 8 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- NOVA Microhypervisor☆11Updated 3 years ago
- The Bareflank Processor Abstraction Layer☆38Updated 2 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- Reverse Engineering of NVIDIA's Tegra driver for Linux☆35Updated 7 years ago
- My coreboot work☆23Updated 14 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- sel4 benchmarking applications and support library.☆20Updated 3 weeks ago
- Ninja-based configuration system☆11Updated 5 years ago
- A security-oriented microkernel for Cortex-M microcontrollers☆25Updated 9 years ago