Alternatives and similar repositories for kernelci-project

Users that are interested in kernelci-project are comparing it to the libraries listed below

• kernelci / kernelci-core
  Core KernelCI tools
  ☆117Updated this week
• olivierpierre / unikernel-papers
  ☆126Updated this week
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• intel / lkp-tests
  Linux Kernel Performance tests
  ☆299Updated last week
• bpfverif / agni
  ☆48Updated last week
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆309Updated last month
• project-dune / dune
  ☆211Updated 3 years ago
• kaiwan / seals
  Simple Embedded ARM Linux System
  ☆77Updated 10 months ago
• google / ghost-userspace
  ☆243Updated 2 years ago
• oasis-tcs / virtio-spec
  OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…
  ☆295Updated last month
• mars-research / redleaf
  RedLeaf Operating System
  ☆138Updated 3 years ago
• linux-blktests / blktests
  Linux kernel block layer testing framework
  ☆133Updated this week
• LinuxPerfStudy / LEBench
  A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…
  ☆65Updated last year
• lorenzo-stoakes / linux-gorman-book-notes
  Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.
  ☆65Updated 9 years ago
• rems-project / rmem
  rmem public repo
  ☆49Updated 8 months ago
• error27 / smatch
  Static Analyser for C
  ☆154Updated 2 weeks ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆289Updated this week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆169Updated 2 weeks ago
• fengguang / lkp-tests
  Linux Kernel Performance tests
  ☆95Updated 3 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆26Updated 5 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆19Updated 3 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆57Updated last week
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 years ago
• PacktPublishing / Linux-Kernel-Debugging
  Linux Kernel Debugging, published by Packt
  ☆185Updated last year
• coccinelle / coccinellery
  ☆113Updated last year
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆126Updated 3 weeks ago
• kvm-riscv / linux
  Linux KVM RISC-V repo
  ☆59Updated last week
• google / aarch64-esr-decoder
  A utility for decoding aarch64 ESR register values.
  ☆103Updated 2 weeks ago
• tytso / xfstests-bld
  Creates a file system / storage test appliance which can be run using KVM, GCE, and Android
  ☆74Updated 3 weeks ago
• gormanm / mmtests
  MMTests: Benchmarking framework primarily aimed at Linux kernel testing
  ☆242Updated 2 weeks ago