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
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆64Updated 9 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 4 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆133Updated 9 years ago
• OpenXT / openxt
  Base OpenXT build scripts
  ☆49Updated 3 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 2 years ago
• jirislaby / ksplice
  Patch kernel without rebooting
  ☆87Updated 9 years ago
• ComputerSystemLab / hqemu
  An Efficient and Retargetable Dynamic Binary Translator on Multicores
  ☆31Updated last week
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆127Updated 4 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
• jyao1 / STM
  ☆70Updated 4 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆128Updated 3 years ago
• cappsule / cappsule-hypervisor
  ☆85Updated 7 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated last year
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 7 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• kaigai / nvme-kmod
  A kernel module to support SSD-to-GPU direct DMA
  ☆125Updated 7 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆76Updated 9 years ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated last year