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
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• jirislaby / ksplice
  Patch kernel without rebooting
  ☆86Updated 9 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 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
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆128Updated 3 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆127Updated 4 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 3 years ago
• sbates130272 / donard
  Donard: A PCIe Peer-2-Peer kernel patch and library that builds on top of NVM. Express. Also see https://github.com/sbates130272/linux-do…
  ☆31Updated 8 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆134Updated 9 years ago
• hlide / jitasm
  JIT Assembler Library for multiple ISAs
  ☆74Updated 10 years ago
• ComputerSystemLab / hqemu
  An Efficient and Retargetable Dynamic Binary Translator on Multicores
  ☆31Updated 3 weeks ago
• open-power / hostboot
  System initialization firmware for Power systems
  ☆77Updated this week
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 5 years ago
• skochinsky / jeff-tools
  JEFF file format tools
  ☆27Updated 9 years ago
• jyao1 / STM
  ☆70Updated 4 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 8 months ago
• thehajime / blog
  Hajime Tazaki's blog
  ☆8Updated 9 years ago
• thinkcz / DrawBridge
  Research on DrawBridge Library OS, which is base building block for MSSQL on Linux
  ☆22Updated 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
• lowRISC / abicop
  Work towards a "golden model" of the RISC-V calling convention(s)
  ☆10Updated 7 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆50Updated 8 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 9 years ago
• gamozolabs / falkhash
  Exotic Shitty Hash Maybe
  ☆45Updated 9 years ago