HobbesOSR / kitten

Related projects ⓘ

Alternatives and complementary repositories for kitten

• ibm-research / fusedos
  ☆52Updated 10 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆54Updated 2 weeks ago
• RIKEN-SysSoft / PiP
  Process-in-Process
  ☆17Updated 3 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆46Updated 12 years ago
• intel / mOS
  ☆133Updated 6 months ago
• RIKEN-SysSoft / mckernel
  McKernel
  ☆110Updated 4 months ago
• stephand / ptlsim
  Stable, non-KVM version of PTLsim.
  ☆28Updated 8 years ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆100Updated 2 months ago
• paflib / paflib
  PAFLib is an IBM written library which exposes Power Architecture Facilities to userspace via an API
  ☆12Updated 7 years ago
• LLNL / msr-safe
  Allows safer access to model specific registers (MSRs)
  ☆92Updated 3 weeks ago
• open-power-sdk / pveclib
  Power Vector Library
  ☆29Updated last month
• jimix / k42
  K42 Kernel
  ☆24Updated 12 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆36Updated last year
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆129Updated 2 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆42Updated 7 months ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆94Updated 6 months ago
• mfleming / efilinux
  UEFI boot loader
  ☆78Updated 2 years 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.
  ☆79Updated 3 years ago
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆18Updated 2 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 2 years ago
• intel / intel-sdsi
  ☆48Updated 2 weeks ago
• drepper / optmark
  Markup source code showing optimizations
  ☆35Updated 4 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• gwsystems / ps
  Parallel sections library for parallel data-structures
  ☆14Updated last year
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 10 years ago
• antonblanchard / will-it-scale
  ☆68Updated 10 months ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆39Updated 5 years ago
• jdmccalpin / SKX-SF-Conflicts
  Repeated access to L2-containable loops to look for snoop filter conflicts on Intel Skylake Xeon processors.
  ☆29Updated 6 years ago