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
  ☆68Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆37Updated this week
• unikraft / gsoc
  Unikraft Google Summer of Code
  ☆14Updated 4 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• open-education-hub / essentials-security
  Security Summer School: Security Essentials Track
  ☆28Updated 11 months ago
• olivierpierre / unikernel-papers
  ☆123Updated 3 weeks ago
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆15Updated 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 3 years ago
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆38Updated last week
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆40Updated 2 weeks ago
• google / aarch64-esr-decoder
  A utility for decoding aarch64 ESR register values.
  ☆91Updated 2 weeks ago
• islet-project / islet
  An on-device confidential computing platform
  ☆116Updated this week
• amd / AMD-ASPFW
  ☆98Updated last year
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆53Updated this week
• hckuo2 / Cozart
  Silm your kernel with better configuration.
  ☆36Updated last year
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 3 years ago
• parttimenerd / minimal-scheduler
  A minimal Linux scheduler with sched-ext written in C
  ☆21Updated 3 months ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• martinradev / gdb-pt-dump
  ☆161Updated 5 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆87Updated 5 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆127Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆136Updated this week
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆19Updated 5 years ago
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆52Updated this week
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆55Updated this week
• acs-pa / pa-lab
  ACS - Proiectarea Algoritmilor (lab)
  ☆14Updated last month
• unikraft / lib-musl
  musl: A C standard library
  ☆12Updated last month
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆89Updated last week
• open-education-hub / binary-security
  Security Summer School, Binary track
  ☆28Updated last month