Alternatives and similar repositories for xen-examples:

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

• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 5 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• northox / ov-secure-kernel
  Trusted Execution Environment - Secure kernel leveraging ARM's TrustZone isolation
  ☆21Updated 11 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• lgeek / arm_tlb_huge_pages
  ☆32Updated 8 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆29Updated 7 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆56Updated 8 years ago
• jyao1 / STM
  ☆70Updated 5 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆32Updated 8 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆27Updated 5 years ago
• euspectre / kernel-strider
  Main repository for KernelStrider project
  ☆24Updated 7 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆40Updated 10 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆24Updated last week
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• rzezeski / libMicro
  ☆11Updated 4 years ago
• libos-nuse / lkl-linux
  Linux kernel source tree
  ☆37Updated 5 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆84Updated 11 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆46Updated 4 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• ephox-gcc-plugins / initify
  initify gcc plugin
  ☆8Updated 8 years ago
• fengguang / lkp-tests
  Linux Kernel Performance tests
  ☆89Updated 2 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
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 7 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆99Updated 3 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆220Updated 3 years ago