intel / XenGT-Preview-xen
☆20Updated 2 years ago
Alternatives and similar repositories for XenGT-Preview-xen:
Users that are interested in XenGT-Preview-xen are comparing it to the libraries listed below
- ☆33Updated 2 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- Virtio draft specification☆65Updated 11 years ago
- Linux Kernel Lua Scripting Engine☆64Updated 9 years ago
- Linux kernel with Capsicum support☆206Updated 4 years ago
- Microcode parser for AMD, Intel, and VIA processors☆133Updated 9 years ago
- Base OpenXT build scripts☆49Updated 3 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- userspace tools for linux libos☆95Updated 2 years ago
- Patch kernel without rebooting☆87Updated 9 years ago
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆31Updated last week
- resurrected LLVM "C Backend", with improvements☆127Updated 4 years ago
- 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
- ☆70Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- ikgt manifest☆42Updated 2 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 3 years ago
- ☆85Updated 7 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Unofficial mirror of xenbits.xen.org/xen.git☆75Updated last year
- The Termite driver synthesis tool☆32Updated 7 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 7 years ago
- ZeroVM Run-Time environment☆65Updated 9 years ago
- NOVA userland☆48Updated 11 years ago
- Trust Zone Project☆21Updated 10 years ago
- A kernel module to support SSD-to-GPU direct DMA☆125Updated 7 years ago
- File System Access Utilities in Userland☆76Updated 9 years ago
- 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