sysml / ucc-unikraft
Clone of Unikraft having patches for UCC2018 Tutorial
☆11Updated 6 years ago
Alternatives and similar repositories for ucc-unikraft:
Users that are interested in ucc-unikraft are comparing it to the libraries listed below
- ☆90Updated 9 months ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆48Updated 3 years ago
- ☆19Updated 2 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 3 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 7 years ago
- Silm your kernel with better configuration.☆33Updated 8 months ago
- Native Linux KVM Tool☆47Updated 9 years ago
- ☆62Updated last year
- a paper template☆51Updated last year
- ☆196Updated 2 years ago
- ☆49Updated 3 years ago
- ☆44Updated 6 years ago
- Test suite for the Linux perf_event subsystem☆111Updated 3 months ago
- ☆12Updated 2 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- ☆85Updated this week
- ☆12Updated 3 years ago
- Intel Vt-x/EPT based thin-hypervisor for windows with minimum possible code.☆168Updated 7 years ago
- Kernel Test Framework☆141Updated this week
- Proof-of-concept for the ZombieLoad and RIDL attacks☆23Updated 5 years ago
- A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x☆21Updated 5 years ago
- AMD Research Instruction Based Sampling Toolkit☆82Updated 3 years ago
- A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.☆248Updated 3 months ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆37Updated 4 years ago
- Some codes to trace KVM events using BPF☆18Updated 4 years ago
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 7 months ago
- ☆44Updated 2 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- ☆102Updated 5 years ago