Alternatives and similar repositories for kitten

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

• jimix / k42
  K42 Kernel
  ☆30Updated 13 years ago
• ibm-research / fusedos
  ☆52Updated 11 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆48Updated 12 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 11 months ago
• intel / mOS
  ☆141Updated 5 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…
  ☆55Updated 3 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• OSPreservProject / sprite
  The sprite operating system
  ☆56Updated 10 years ago
• RIKEN-SysSoft / mckernel
  McKernel
  ☆120Updated 3 weeks ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆189Updated this week
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆19Updated 8 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆119Updated 5 years ago
• drh / iburg
  A Tree Parser Generator
  ☆101Updated last year
• atgreen / ggx
  How To Retarget the GNU Toolchain in 21 Patches
  ☆84Updated 10 years ago
• charlesUnixPro / dps8m
  A simulator for the Multics dps-8/m mainframe
  ☆49Updated 5 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 15 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆15Updated last week
• seL4 / musllibc
  ☆27Updated last month
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆49Updated last year
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆68Updated 4 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆30Updated 6 years ago
• brho / akaros
  Akaros Operating System
  ☆320Updated 3 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 5 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆66Updated 12 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 3 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• andportnoy / riscv-disassembler
  A minimal RISC-V RV32I disassembler
  ☆56Updated 4 years ago
• gwsystems / composite
  A component-based OS
  ☆191Updated 7 months ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 6 months ago