Alternatives and similar repositories for k42:

Users that are interested in k42 are comparing it to the libraries listed below

• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆23Updated 10 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 2 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆39Updated 2 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 7 months ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆51Updated 2 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆19Updated 5 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• rheoli / pcc
  Portable C Compiler
  ☆12Updated 12 years ago
• ibara / O
  Peephole optimizer for cproc and QBE
  ☆25Updated 2 years ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 2 weeks ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆17Updated 8 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• SRI-CSL / l3riscv
  An executable specification of the RISCV ISA in L3.
  ☆42Updated 6 years ago
• seL4 / musllibc
  ☆27Updated last month
• drh / cdb
  A Machine-Independent Debugger
  ☆31Updated 6 months ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 3 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 3 weeks ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year