Alternatives and similar repositories for XenGT-Preview-xen

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

• intel / XenGT-Preview-kernel
  ☆33Updated 3 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆134Updated 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 8 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆208Updated 5 years ago
• adapteva / epiphany-sdk
  Epiphany SDK build scripts (start here!)
  ☆123Updated 5 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆160Updated 8 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆96Updated 3 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 3 years ago
• OpenXT / openxt
  Base OpenXT build scripts
  ☆50Updated 4 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 8 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆144Updated 7 years ago
• rwatson / chromium-capsicum
  Capsicum enhancements to Google's Chromium web browser
  ☆17Updated 15 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• polysome / aggregate-1
  An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T
  ☆145Updated 9 years ago
• rootkovska / x86_harmful
  The "Intel x86 considered harmful" paper
  ☆199Updated 9 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆121Updated 5 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated last year
• slp / rpi2-hyp-boot
  Raspberry Pi 2 bootloader for starting the cores in HYP mode
  ☆31Updated 10 years ago
• parallella / parallella-linux
  Linux Kernel forked from ADI (with latest ADI HDMI drivers)
  ☆68Updated 5 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 12 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• cappsule / cappsule-hypervisor
  ☆86Updated 8 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 4 years ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆53Updated 11 years ago