unikraft / loupeLinks
Loupe: Syscall Usage Analysis Tool
☆43Updated this week
Alternatives and similar repositories for loupe
Users that are interested in loupe are comparing it to the libraries listed below
Sorting:
- ☆124Updated 6 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆118Updated last week
- LLFree: Lock- and Log-free Allocator☆25Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- Risc-V hypervisor for TEE development☆125Updated 5 months ago
- RedLeaf Operating System☆136Updated 3 years ago
- ☆19Updated last year
- ☆45Updated 2 weeks ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆92Updated last month
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆18Updated 3 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Updated 5 years ago
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆29Updated 2 weeks ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆19Updated 2 years ago
- Confidential Containers Shim Firmware☆115Updated 2 weeks ago
- A utility for decoding aarch64 ESR register values.☆100Updated 2 weeks ago
- A VMM implementation based of rust-vmm components☆155Updated last year
- safe type-1 Rust Hypervisor for edge devices☆154Updated this week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆40Updated last week
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆23Updated 2 years ago
- ☆43Updated this week
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Experimental kernel with built-in replication.☆162Updated 4 months ago
- A formally verified security module for AMD confidential VMs☆60Updated this week
- Rcore Virtual Machine☆114Updated last year
- COCONUT-SVSM☆187Updated this week
- ☆151Updated 2 weeks ago
- ☆236Updated last year
- ☆20Updated 3 years ago
- A verified library of synchronization primitives and concurrent data structures☆39Updated 3 months ago