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
• 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
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆96Updated 3 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 3 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆160Updated 8 years ago
• cappsule / cappsule-hypervisor
  ☆86Updated 8 years ago
• rootkovska / x86_harmful
  The "Intel x86 considered harmful" paper
  ☆199Updated 9 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• prplfoundation / prpl-hypervisor
  prplHypervisor™
  ☆31Updated 7 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆209Updated 5 years ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 8 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• adapteva / epiphany-sdk
  Epiphany SDK build scripts (start here!)
  ☆123Updated 6 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 9 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• OpenXT / openxt
  Base OpenXT build scripts
  ☆50Updated 4 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆63Updated 9 years ago
• hlide / jitasm
  JIT Assembler Library for multiple ISAs
  ☆76Updated 10 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆76Updated last year
• jyao1 / STM
  ☆71Updated 5 years ago
• slp / rpi2-hyp-boot
  Raspberry Pi 2 bootloader for starting the cores in HYP mode
  ☆31Updated 10 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆144Updated 7 years ago
• ComputerSystemLab / hqemu
  An Efficient and Retargetable Dynamic Binary Translator on Multicores
  ☆31Updated 7 months ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• tmetsch / python-dtrace
  A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...
  ☆70Updated 3 years ago
• lgeek / arm_tlb_huge_pages
  ☆32Updated 8 years ago