foxhoundsk / FlexSCLinks
Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
☆19Updated 5 years ago
Alternatives and similar repositories for FlexSC
Users that are interested in FlexSC are comparing it to the libraries listed below
Sorting:
- HyperBench: A Benchmark Suite for Virtualization Capabilities☆31Updated 5 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Updated last year
- https://rs3lab.github.io/SynCord/☆26Updated 2 years ago
- ☆64Updated last year
- Compartmentalised monolithic library OS☆19Updated 4 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- virtio example front-end and back-end☆36Updated 6 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated this week
- ☆23Updated 2 years ago
- ☆58Updated last year
- ☆23Updated 3 years ago
- ☆33Updated 7 years ago
- DRAM Bank-Aware Kernel Memory Allocator☆44Updated 2 weeks ago
- ☆207Updated 3 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆34Updated 3 years ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆41Updated 2 years ago
- Hodor-PKU☆26Updated 4 years ago
- ☆20Updated 2 months ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆64Updated 2 years ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆30Updated 5 years ago
- Random test code☆20Updated 4 months ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Updated last year
- This is the main repo for Penglai.☆72Updated 2 years ago
- 面向可信执行环境的OS。☆12Updated 6 months ago
- Linux KVM RISC-V repo☆59Updated this week
- A library for PCIe Transaction Layer☆60Updated 3 years ago
- Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.☆144Updated 8 months ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 9 years ago
- Live upgrade Linux kernel scheduler subsystem☆88Updated 2 years ago
- ☆44Updated 3 years ago