Alternatives and similar repositories for docs:

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

• open-education-hub / operating-systems
  Teaching resources (OER) for Operating Systems
  ☆64Updated 8 months ago
• unikraft / gsoc
  Unikraft Google Summer of Code
  ☆12Updated 4 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆26Updated 3 months ago
• 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 …
  ☆24Updated last month
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆48Updated 3 years ago
• acs-pa / pa-lab
  ACS - Proiectarea Algoritmilor (lab)
  ☆13Updated last year
• amd / AMD-ASPFW
  ☆92Updated last year
• olivierpierre / unikernel-papers
  ☆112Updated 2 months ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆25Updated 3 years ago
• error27 / smatch
  Static Analyser for C
  ☆106Updated last week
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆83Updated 3 months ago
• svsm-vtpm / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆10Updated last year
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆79Updated this week
• intel / MigTD
  ☆22Updated this week
• qais-yousef / sched-analyzer
  BPF CO-RE based sched-analyzer
  ☆34Updated 4 months ago
• open-education-hub / essentials-security
  Security Summer School: Security Essentials Track
  ☆18Updated 5 months ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• LinuxPerfStudy / LEBench
  ☆60Updated 6 months ago
• CTSRD-CHERI / cheri-exercises
  Learning exercises for CHERI
  ☆19Updated 3 months ago
• martinradev / gdb-pt-dump
  ☆148Updated 2 weeks ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆197Updated 2 weeks ago
• intel / tdx
  ☆85Updated this week
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• project-dune / dune
  ☆195Updated 2 years ago
• arighi / virtme-ng
  Quickly build and run kernels inside a virtualized snapshot of your live system
  ☆489Updated last week
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆33Updated this week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• ahoeller / fies
  QEMU-based fault injection
  ☆27Updated 3 years ago