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
  ☆115Updated this week
• olivierpierre / unikernel-papers
  ☆124Updated 5 months ago
• bpfverif / agni
  ☆45Updated this week
• eunomia-bpf / schedcp
  MCP Server for Linux Scheduler Management and Auto optimization
  ☆68Updated last week
• linux-blktests / blktests
  Linux kernel block layer testing framework
  ☆131Updated last week
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆42Updated last week
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆29Updated this week
• aliyun / plugsched
  Live upgrade Linux kernel scheduler subsystem
  ☆88Updated 2 years ago
• rems-project / rmem
  rmem public repo
  ☆48Updated 6 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆18Updated 3 years ago
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆304Updated 3 months ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• damonitor / damo
  DAMON user-space tool
  ☆58Updated this week
• smcdef / memory-reordering
  A sample kernel module showing the memory reordering.
  ☆11Updated 5 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆48Updated last year
• matthias-brun / verified-nrkernel
  ☆21Updated last week
• 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…
  ☆286Updated last week
• google / ghost-kernel
  ☆227Updated last year
• 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
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆13Updated 4 months ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆205Updated 3 years ago
• awslabs / damo
  DAMON user-space tool
  ☆163Updated last year
• google / ghost-userspace
  ☆236Updated last year
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆65Updated 5 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 years ago
• google / aarch64-esr-decoder
  A utility for decoding aarch64 ESR register values.
  ☆99Updated this week
• intel / lkp-tests
  Linux Kernel Performance tests
  ☆290Updated 3 weeks ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 3 years ago