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
  ☆64Updated 5 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• northox / ov-secure-kernel
  Trusted Execution Environment - Secure kernel leveraging ARM's TrustZone isolation
  ☆21Updated 11 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 10 months ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 3 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆84Updated 11 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
• euspectre / kernel-strider
  Main repository for KernelStrider project
  ☆25Updated 7 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆30Updated 7 years ago
• oracle / ktf
  Kernel Test Framework - a unit test framework for the Linux kernel
  ☆93Updated 3 years ago
• cnplab / cosmos
  ClickOS toolstack
  ☆19Updated 8 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 2 months ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 7 years ago
• fengguang / lkp-tests
  Linux Kernel Performance tests
  ☆90Updated 3 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• lgeek / arm_tlb_huge_pages
  ☆32Updated 8 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago
• intel / qemu-lite
  ☆70Updated 2 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆56Updated 8 years ago
• andikleen / mce-test
  Linux machine check test suite. Old unmaintained version of mce-test. The maintained version is at https://git.kernel.org/pub/scm/utils/…
  ☆36Updated 2 years ago
• sysml / multistack
  ☆17Updated 9 years ago
• lorenzo-stoakes / kernel-scripts
  Handy kernel development scripts.
  ☆49Updated last week