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 2 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 3 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
• ComputerSystemLab / hqemu
  An Efficient and Retargetable Dynamic Binary Translator on Multicores
  ☆31Updated 3 months ago
• cappsule / cappsule-hypervisor
  ☆86Updated 8 years ago
• OpenXT / openxt
  Base OpenXT build scripts
  ☆49Updated 3 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆134Updated 9 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆129Updated 3 years ago
• intel / edison-u-boot
  DISCONTINUATION OF PROJECT. This project will no longer be maintained by Intel. Intel will not provide or guarantee development of or s…
  ☆36Updated 2 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆13Updated 4 years ago
• jbarczak / HAXWell
  Code which loads custom ISA on Intel Haswell GPUs
  ☆47Updated 8 years ago
• mjg59 / shim
  UEFI shim loader
  ☆65Updated 3 years ago
• intel / Igvtg-xen
  ☆15Updated 2 years ago
• open-power / capiflash
  Flash Acceleration with CAPI - The IBM Data Engine for NoSQL
  ☆22Updated 5 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• open-power / hostboot
  System initialization firmware for Power systems
  ☆77Updated this week
• mjg59 / grub
  GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html
  ☆38Updated 7 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 4 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆40Updated 10 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• pmem / pmemfile
  Userspace implementation of file APIs using persistent memory.
  ☆35Updated 2 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 7 years ago
• ephox-gcc-plugins / initify
  initify gcc plugin
  ☆8Updated 8 years ago