RIKEN-SysSoft / mckernel

Related projects ⓘ

Alternatives and complementary repositories for mckernel

• intel / mOS
  ☆133Updated 6 months ago
• HobbesOSR / kitten
  Kitten Lightweight Kernel
  ☆54Updated last year
• RIKEN-SysSoft / PiP
  Process-in-Process
  ☆17Updated 3 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆168Updated last year
• mit-pdos / ward
  ☆30Updated 2 years ago
• intel / intel-sdsi
  ☆48Updated 2 weeks ago
• open-power / docs
  Documentation for OpenPOWER Firmware
  ☆71Updated 10 months ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• hpc / xpmem
  Linux Cross-Memory Attach
  ☆88Updated 2 months ago
• antonblanchard / will-it-scale
  ☆68Updated 10 months ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆42Updated 7 months ago
• jlgreathouse / AMD_IBS_Toolkit
  AMD Research Instruction Based Sampling Toolkit
  ☆80Updated 3 years ago
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆100Updated 2 months ago
• ohad-rodeh / bt
  COW b-trees
  ☆96Updated 7 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆94Updated 6 months ago
• LLNL / msr-safe
  Allows safer access to model specific registers (MSRs)
  ☆92Updated 3 weeks ago
• bingmann / pmbw
  Parallel Memory Bandwidth Measurement / Benchmark Tool
  ☆104Updated 2 years ago
• gpufs / gpufs
  GPUfs - File system support for NVIDIA GPUs
  ☆90Updated 5 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆76Updated 2 weeks ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆68Updated 5 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated this week
• kernelci / kernelci-core
  Core KernelCI tools
  ☆107Updated this week
• mfleming / efilinux
  UEFI boot loader
  ☆78Updated 2 years ago
• intel / msr-tools
  ☆215Updated 2 years ago
• RRZE-HPC / TheBandwidthBenchmark
  The ultimate memory bandwidth benchmark
  ☆46Updated last year
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆55Updated 8 years ago
• hgst / libnvme
  User level NVMe driver library
  ☆63Updated 3 years ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆169Updated this week
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆54Updated 2 weeks ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆21Updated last month