Alternatives and similar repositories for kitten

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

• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• intel / mOS
  ☆138Updated 2 months ago
• RIKEN-SysSoft / mckernel
  McKernel
  ☆120Updated last year
• ibm-research / fusedos
  ☆52Updated 10 years ago
• openshmem-org / osss-gasnet
  [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)
  ☆43Updated 7 years ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆18Updated 8 years ago
• stevenknown / xgen
  ☆35Updated 4 months ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆18Updated 8 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• drh / iburg
  A Tree Parser Generator
  ☆98Updated 8 months ago
• RIKEN-SysSoft / PiP
  Process-in-Process
  ☆17Updated 4 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 3 years ago
• OSPreservProject / sprite
  The sprite operating system
  ☆53Updated 9 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 7 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆61Updated 5 months ago
• cattius / opcodetester
  Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel
  ☆45Updated 6 years ago
• lanl / Byfl
  Program analysis tool based on software performance counters
  ☆57Updated 4 years ago
• intel / intel-sdsi
  ☆48Updated 7 months ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 3 weeks ago
• charlesUnixPro / dps8m
  A simulator for the Multics dps-8/m mainframe
  ☆49Updated 5 years ago
• WitchTools / Witch
  Lightweight performance and debugging tools
  ☆17Updated 5 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 7 months ago
• travisdowns / page-info
  Programatically obtain information about the pages backing a given memory region
  ☆77Updated 3 years ago
• gpufs / gpufs
  GPUfs - File system support for NVIDIA GPUs
  ☆93Updated 6 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 9 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• lanl / ares
  Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…
  ☆10Updated 8 years ago