Alternatives and similar repositories for k42:

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

• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 3 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆23Updated 10 years ago
• seL4 / musllibc
  ☆27Updated 2 months ago
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆85Updated this week
• mit-pdos / ward
  ☆30Updated 3 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 8 months ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last week
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated last month
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆75Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated last week
• mutaphore / JOS-Exokernel
  Implementation of the core of an exokernel-style operating system
  ☆10Updated 10 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆43Updated last year
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• OSPreservProject / oskit
  oskit code from Fluke OS project at University of Utah
  ☆35Updated 2 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated last month
• zhengruohuang / toddler-ng
  The next generation Toddler, a well designed usable and portable microkernel OS
  ☆16Updated 4 years ago
• JonathanBelanger / DECaxp
  Digital, never Compaq or HP, Alpha AXP Emulator
  ☆49Updated 5 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆31Updated 7 months ago
• singpolyma / singpolyma-kernel
  A basic microkernel
  ☆36Updated 12 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• rheoli / pcc
  Portable C Compiler
  ☆12Updated 12 years ago
• OSPreservProject / sprite
  The sprite operating system
  ☆51Updated 9 years ago