-
keystone Public
Forked from keystone-enclave/keystoneKeystone Enclave (QEMU + HiFive Unleashed)
Objective-C Other UpdatedJun 20, 2019 -
-
hypervisor Public
Forked from Bareflank/hypervisorlightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI
C++ MIT License UpdatedApr 12, 2019 -
apollo Public
Forked from ApolloAuto/apolloAn open autonomous driving platform
C++ Apache License 2.0 UpdatedApr 10, 2019 -
hvpp Public
Forked from wbenny/hvpphvpp is a lightweight Intel x64/VT-x hypervisor written in C++ focused primarily on virtualization of already running operating system
C++ MIT License UpdatedApr 9, 2019 -
cpu-internals Public
Forked from ayoubfaouzi/cpu-internalsIntel / AMD CPU Internals
UpdatedApr 2, 2019 -
awesome-virtualization Public
Forked from Wenzel/awesome-virtualizationCollection of resources about Virtualization
UpdatedMar 29, 2019 -
tinyvm Public
Forked from jakogut/tinyvmTinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
C MIT License UpdatedMar 23, 2019 -
HyperPlatform Public
Forked from tandasat/HyperPlatformIntel VT-x based hypervisor aiming to provide a thin VM-exit filtering platform on Windows.
C++ MIT License UpdatedMar 12, 2019 -
ad-rss-lib Public
Forked from intel/ad-rss-libC++ BSD 3-Clause "New" or "Revised" License UpdatedMar 4, 2019 -
libos Public
Forked from occlum/occlumOcclum is a memory-safe, multi-process library OS for Intel SGX
Rust Other UpdatedFeb 27, 2019 -
Hypervisor-From-Scratch Public
Forked from SinaKarvandi/Hypervisor-From-ScratchSource code of a multiple series of tutorials about hypervisor. Available at:
C UpdatedFeb 24, 2019 -
ikgt-core Public
Forked from intel/ikgt-coreIntel Kernel Guard Technology Core Repo
C UpdatedFeb 22, 2019 -
A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.
C GNU General Public License v2.0 UpdatedJan 19, 2019 -
openenclave Public
Forked from openenclave/openenclaveSDK for developing enclaves
C Other UpdatedJan 13, 2019 -
gvisor Public
Forked from google/gvisorContainer Runtime Sandbox
Go Apache License 2.0 UpdatedJan 12, 2019 -
meltdown Public
Forked from isec-tugraz/meltdownThis repository contains several applications, demonstrating the Meltdown bug.
C zlib License UpdatedJan 3, 2019 -
-
Hands-on-System-Programming-with-Linux Public
Forked from PacktPublishing/Hands-on-System-Programming-with-LinuxHands-On System Programming with Linux, Kaiwan N Billimoria, published by Packt
C MIT License UpdatedDec 26, 2018 -
navigation2 Public
Forked from ros-navigation/navigation2ROS2 Navigation
-
-
-
carla Public
Forked from carla-simulator/carlaOpen-source simulator for autonomous driving research.
C++ Other UpdatedDec 18, 2018 -
firecracker Public
Forked from firecracker-microvm/firecrackerSecure and fast microVMs for serverless computing.
Rust Apache License 2.0 UpdatedDec 12, 2018 -
acrn-hypervisor Public
Forked from projectacrn/acrn-hypervisorProject ACRN hypervisor
C BSD 3-Clause "New" or "Revised" License UpdatedDec 10, 2018 -
-
simulator Public
Forked from lgsvl/simulatorA ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles
C# Other UpdatedNov 27, 2018 -
redox Public
Forked from redox-os/redoxMirror of https://gitlab.redox-os.org/redox-os/redox
Shell MIT License UpdatedNov 22, 2018 -
-
libhermit-rs Public
Forked from hermit-os/kernelA Rust-based Unikernel for Cloud and High-Performance Computing
Rust BSD 3-Clause "New" or "Revised" License UpdatedNov 15, 2018