Alternatives and similar repositories for docs

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

• unikraft / gsoc
  Unikraft Google Summer of Code
  ☆15Updated 4 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated last 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
• amd / AMD-ASPFW
  ☆106Updated 2 years ago
• error27 / smatch
  Static Analyser for C
  ☆154Updated last week
• google / aarch64-esr-decoder
  A utility for decoding aarch64 ESR register values.
  ☆104Updated last week
• intel / MigTD
  ☆44Updated this week
• kworkflow / kworkflow
  kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux develo…
  ☆181Updated last week
• olivierpierre / unikernel-papers
  ☆125Updated 7 months ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆256Updated last week
• arighi / virtme-ng
  Quickly build and run kernels inside a virtualized snapshot of your live system
  ☆739Updated this week
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆194Updated this week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆19Updated 3 years ago
• islet-project / islet
  An on-device confidential computing platform
  ☆135Updated last month
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆91Updated last year
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆51Updated 4 years ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• open-education-hub / operating-systems
  Teaching resources (OER) for Operating Systems
  ☆72Updated last year
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆69Updated last year
• intel-staging / qemu-tdx
  ☆40Updated 2 months ago
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆70Updated this week
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆15Updated 2 years ago
• au-ts / libvmm
  A virtual machine monitor for the seL4 microkernel
  ☆51Updated this week
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆42Updated last week
• mars-research / lvd-linux
  ☆21Updated 3 years ago
• ahoeller / fies
  QEMU-based fault injection
  ☆33Updated 4 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆67Updated 2 weeks ago
• bpfverif / agni
  ☆47Updated this week
• parttimenerd / minimal-scheduler
  A minimal Linux scheduler with sched-ext written in C
  ☆32Updated last month