Alternatives and similar repositories for kitten

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

• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆18Updated 8 years ago
• intel / mOS
  ☆138Updated 3 months ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 9 months ago
• OSPreservProject / sprite
  The sprite operating system
  ☆54Updated 9 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…
  ☆55Updated 3 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆47Updated 12 years ago
• drh / iburg
  A Tree Parser Generator
  ☆99Updated 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
• ibm-research / fusedos
  ☆52Updated 10 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆41Updated 2 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 8 years ago
• atgreen / ggx
  How To Retarget the GNU Toolchain in 21 Patches
  ☆84Updated 10 years ago
• openrisc / llvm-or1k
  LLVM backend for OpenRISC 1000
  ☆29Updated 7 years ago
• redstar / llvm-m88k
  LLVM backend for m88k architecture
  ☆50Updated 5 months ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆121Updated 5 years ago
• charlesUnixPro / dps8m
  A simulator for the Multics dps-8/m mainframe
  ☆49Updated 5 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆59Updated this week
• brho / akaros
  Akaros Operating System
  ☆319Updated 3 years ago
• RIKEN-SysSoft / mckernel
  McKernel
  ☆120Updated last year
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆18Updated 8 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆49Updated 8 years ago
• stevenknown / xgen
  ☆35Updated this week
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated 3 weeks ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆61Updated 6 months ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆180Updated this week
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆109Updated 4 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆30Updated 11 months ago