TUD-OS / NRE

Related projects ⓘ

Alternatives and complementary repositories for NRE

• TUD-OS / NUL
  NOVA userland
  ☆48Updated 10 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆41Updated 3 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆18Updated 8 years ago
• acjf3 / l3mips
  L3 based MIPS specification and emulator
  ☆15Updated 3 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• kesl / khypervisor
  ☆27Updated 8 years ago
• jimix / k42
  K42 Kernel
  ☆24Updated 12 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆55Updated 4 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• microsoft / compiler-tests
  This repo contains Microsoft compiler-tests to validate Windows platform particulars.
  ☆22Updated last year
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆45Updated 5 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 7 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 3 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆39Updated 5 years ago
• pkhuong / barrierd
  Safely privileged daemon to let userspace wait on global barriers with low, constant overhead
  ☆16Updated 5 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆45Updated this week
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆25Updated 10 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆18Updated 4 months ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆78Updated 2 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆13Updated 8 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆25Updated 3 years ago
• Bareflank / pal
  The Bareflank Processor Abstraction Layer
  ☆37Updated 2 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆27Updated 2 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆43Updated 3 months ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 2 years ago