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
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last month
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆43Updated last year
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆34Updated 9 months ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 2 months ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆67Updated 4 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…
  ☆54Updated 2 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• repk / sporc
  Sparc emulator
  ☆10Updated 7 years ago
• mahrz24 / rv6
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Updated 5 years ago
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• rheoli / pcc
  Portable C Compiler
  ☆12Updated 12 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆69Updated 3 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 10 months ago
• somian / Path64
  Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…
  ☆23Updated 15 years ago
• BrownieOS / xOS
  A repo of xOS the dead os project from @omarrx024
  ☆15Updated 7 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆75Updated last year
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/osdev/nyu-efi
  ☆31Updated 3 months ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 3 years ago
• nullpo-head / xv6-mips
  A MIPS port of xv6
  ☆79Updated 9 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆60Updated 6 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆90Updated this week
• jhhuh / tinyemu
  Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)
  ☆63Updated 3 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago