Alternatives and similar repositories for k42:

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

• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆23Updated 10 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 2 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 6 months ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆75Updated last year
• repk / sporc
  Sparc emulator
  ☆10Updated 6 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• zhengruohuang / toddler-ng
  The next generation Toddler, a well designed usable and portable microkernel OS
  ☆16Updated 3 years ago
• seL4 / musllibc
  ☆26Updated 3 weeks ago
• redstar / llvm-m88k
  LLVM backend for m88k architecture
  ☆49Updated last month
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆14Updated 6 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last week
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years 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
• somian / Path64
  Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…
  ☆23Updated 14 years ago
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆34Updated last month
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated last week
• jesus-ramos / not-a-good-os
  just a toy operating system for fun
  ☆19Updated 10 years ago
• jeffmerkey / open-netware
  Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)
  ☆16Updated 5 years ago
• mahrz24 / rv6
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Updated 5 years ago
• ibara / O
  Peephole optimizer for cproc and QBE
  ☆25Updated 2 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆19Updated 8 years ago
• dancrossnyc / xinu68k
  68k port of the PDP-11 version of Comer's Xinu operating system
  ☆16Updated 9 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 years ago