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
  ☆32Updated 3 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆134Updated 10 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆98Updated 3 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆35Updated 8 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆211Updated 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 8 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 8 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 3 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 8 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆66Updated 12 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• slp / rpi2-hyp-boot
  Raspberry Pi 2 bootloader for starting the cores in HYP mode
  ☆31Updated 10 years ago
• OpenXT / openxt
  Base OpenXT build scripts
  ☆51Updated 4 years ago
• rootkovska / x86_harmful
  The "Intel x86 considered harmful" paper
  ☆200Updated 10 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 9 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆62Updated 10 years ago
• rumpkernel / wiki
  Wiki for rump kernels
  ☆461Updated 2 years ago
• UWNetworksLab / arrakis
  Arrakis public repository.
  ☆262Updated 8 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆57Updated 10 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆35Updated 4 years ago
• ibm-research / fusedos
  ☆53Updated 11 years ago
• kaigai / nvme-kmod
  A kernel module to support SSD-to-GPU direct DMA
  ☆127Updated 8 years ago
• lowRISC / abicop
  Work towards a "golden model" of the RISC-V calling convention(s)
  ☆10Updated 8 years ago
• rumpkernel / rumprun-packages
  Ready-made packages of software for running on the Rumprun unikernel
  ☆205Updated 3 years ago
• cappsule / cappsule-hypervisor
  ☆86Updated 8 years ago
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆132Updated 5 years ago
• 0xabu / qemu
  OLD qemu with Raspberry Pi 2 and Windows on ARM support. Retained for reference purposes only -- most of this has been merged upstream.
  ☆65Updated 9 years ago