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
  ☆14Updated 2 months ago
• open-education-hub / operating-systems
  Teaching resources (OER) for Operating Systems
  ☆70Updated last year
• intel / MigTD
  ☆43Updated this week
• amd / AMD-ASPFW
  ☆104Updated 2 years ago
• islet-project / islet
  An on-device confidential computing platform
  ☆132Updated last week
• olivierpierre / unikernel-papers
  ☆125Updated 6 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆90Updated 10 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆43Updated this week
• error27 / smatch
  Static Analyser for C
  ☆148Updated 3 weeks ago
• google / aarch64-esr-decoder
  A utility for decoding aarch64 ESR register values.
  ☆100Updated this week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• hckuo2 / Cozart
  Silm your kernel with better configuration.
  ☆38Updated last year
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆188Updated this week
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆69Updated last year
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆51Updated 4 years ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆254Updated 2 weeks ago
• intel-staging / tdx
  ☆93Updated 2 months ago
• intel-staging / qemu-tdx
  ☆40Updated last month
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆66Updated this week
• arighi / virtme-ng
  Quickly build and run kernels inside a virtualized snapshot of your live system
  ☆689Updated last week
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆40Updated 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
• kworkflow / kworkflow
  kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux develo…
  ☆180Updated last month
• project-dune / dune
  ☆209Updated 3 years ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆169Updated this week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆13Updated 5 years ago
• virtee / sev-snp-measure
  Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
  ☆71Updated 2 months ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆65Updated this week
• mars-research / lvd-linux
  ☆21Updated 3 years ago