Alternatives and similar repositories for xen-examples:

Users that are interested in xen-examples are comparing it to the libraries listed below

• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• lorenzo-stoakes / kernel-scripts
  Handy kernel development scripts.
  ☆46Updated 2 months ago
• euspectre / kernel-strider
  Main repository for KernelStrider project
  ☆24Updated 7 years ago
• fengguang / lkp-tests
  Linux Kernel Performance tests
  ☆89Updated 2 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆95Updated 8 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• rzezeski / libMicro
  ☆11Updated 4 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 6 years ago
• lgeek / arm_tlb_huge_pages
  ☆31Updated 7 years ago
• finallyjustice / liboot-tz
  TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)
  ☆8Updated 10 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆76Updated 8 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• nestedkernel / PerspicuOS
  This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…
  ☆55Updated 7 years ago
• teawater / kgtp
  KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…
  ☆87Updated 7 years ago
• alnsn / bpfjit
  Just-in-Time compilation of bpf
  ☆31Updated 4 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆84Updated 11 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆53Updated 3 weeks ago
• cormander / tpe-lkm
  Trusted Path Execution (TPE) Linux Kernel Module
  ☆157Updated 5 years ago
• coccinelle / coccinellery
  ☆110Updated 6 months ago
• elfmaster / binflow
  This is the new ftrace (https://github.com/elfmaster/ftrace) - Much faster, better resolution but not complete yet! :)
  ☆107Updated 6 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 6 months ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆55Updated 8 years ago
• TImada / mirage_iperf
  iperf like tool on MirageOS
  ☆11Updated 2 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆28Updated 7 years ago
• IAIK / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆214Updated 3 years ago