unikraft / loupeLinks
Loupe: Syscall Usage Analysis Tool
☆42Updated this week
Alternatives and similar repositories for loupe
Users that are interested in loupe are comparing it to the libraries listed below
Sorting:
- ☆124Updated 5 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…☆114Updated this week
- LLFree: Lock- and Log-free Allocator☆25Updated 2 months ago
- RedLeaf Operating System☆136Updated 3 years ago
- A VMM implementation based of rust-vmm components☆154Updated last year
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆17Updated 3 years ago
- ☆19Updated last year
- Risc-V hypervisor for TEE development☆125Updated 5 months ago
- ☆46Updated this week
- Experimental kernel with built-in replication.☆162Updated 4 months ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- ☆20Updated 3 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆23Updated 2 years ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆40Updated 2 months ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆91Updated 2 weeks ago
- ☆150Updated 2 weeks ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Linux kernel loader☆207Updated 3 weeks ago
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- VirtIO guest drivers in Rust.☆278Updated this week
- Rust Unikernel OS☆86Updated 2 months ago
- virtio implementation☆420Updated last week
- ☆236Updated last year
- ☆42Updated last week
- A Type-1.5 hypervisor written in Rust.☆68Updated last year
- A libbpf based tracer to help figure out what an application is doing.☆85Updated this week
- Rcore Virtual Machine☆114Updated last year
- A formally verified security module for AMD confidential VMs☆57Updated last week