TUD-OS / NRE
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
- NOVA userland☆48Updated 11 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- The Bear Operating System☆24Updated 7 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- Collection of community-maintained components for Genode☆46Updated last week
- K42 Kernel☆27Updated 12 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Updated 6 years ago
- This project provides a header file which contains wrapper macros for the __builtin_load_no_speculate builtin function defined at https:/…☆46Updated 6 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- Many Threads Operating System☆18Updated 3 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
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆22Updated last year
- Reverse Engineering of NVIDIA's Tegra driver for Linux☆34Updated 7 years ago
- I-cache line packing and branch misprediction measuring tool☆17Updated 8 years ago
- ☆20Updated 2 years ago
- My coreboot work☆23Updated 14 years ago
- The Bareflank Processor Abstraction Layer☆38Updated 2 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- ☆29Updated 9 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated 3 weeks ago
- BIOS-based boot menu and loader☆16Updated 8 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Updated 7 years ago
- GNU Superoptimizer Version 2☆26Updated 3 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆41Updated 5 years ago