koukaipan / xen-examples
Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above
☆33Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for xen-examples
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 4 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Updated 11 years ago
- Unofficial mirror of xenbits.xen.org/xen.git☆75Updated last year
- Ceph RBD support for Qemu/KVM☆41Updated 11 years ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 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
- Secure Virtual Architecture☆42Updated 5 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆45Updated 5 years ago
- Virtio draft specification☆64Updated 11 years ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆85Updated 7 years ago
- Archived - the Xen and ARM support in MirageOS has been superseeded by our PVH support - Build an SDcard image for Xen/ARM, for a Cubiebo…☆57Updated 5 years ago
- Trusted Execution Environment - Secure kernel leveraging ARM's TrustZone isolation☆20Updated 10 years ago
- Main repository for KernelStrider project☆24Updated 7 years ago
- File System Access Utilities in Userland☆76Updated 8 years ago
- ☆193Updated 2 years ago
- userspace tools for linux libos☆95Updated 2 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆83Updated 10 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 5 years ago
- rdtscbench measures small and large operations using clock cycles as time measurement unit. It uses RDTSC x86 instruction to get clock cy…☆28Updated 7 years ago
- TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)☆8Updated 9 years ago
- Linux Kernel Performance tests☆89Updated 2 years ago
- ☆30Updated 7 years ago
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆68Updated 7 years ago
- initify gcc plugin☆8Updated 7 years ago
- Kernel tree for ACRN☆94Updated 3 months ago
- Trusted Path Execution (TPE) Linux Kernel Module☆157Updated 5 years ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆99Updated last year
- Network Stack in Userspace☆291Updated 5 months ago
- ☆70Updated 4 years ago