SzymonKubica / micro-bpfLinks
µBPF - a framework for microcontroller compartmentalization using eBPF
☆19Updated 11 months ago
Alternatives and similar repositories for micro-bpf
Users that are interested in micro-bpf are comparing it to the libraries listed below
Sorting:
- Helps run tests in virtual machines☆137Updated 2 weeks ago
- A dynamic library bundling the guest payload consumed by libkrun☆105Updated last month
- BTF introspection tool☆40Updated 2 months ago
- Simple BPF static linker☆248Updated this week
- Measures the conformance of a BPF runtime to the ISA.☆36Updated last week
- An eBPF engine for capturing and processing POSIX signals.☆43Updated 2 years ago
- veristat is the tool for loading, verifying, and debugging BPF object files☆32Updated 2 months ago
- ☆144Updated 11 months ago
- 'vhost-user' device backends workspace☆102Updated last week
- Track memory leaks for Linux kernel modules using eBPF☆45Updated 2 months ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆101Updated this week
- blazesym is a library for address symbolization and related tasks☆233Updated this week
- ☆54Updated 3 months ago
- A VMM implementation based of rust-vmm components☆153Updated last year
- BPF CO-RE based sched-analyzer☆35Updated 9 months ago
- Rust libublk☆37Updated 3 weeks ago
- A next-generation container filesystem☆433Updated 3 months ago
- ☆18Updated 5 years ago
- DSL language to write seccomp filters☆37Updated last year
- Helpers and utilities used by multiple rust-vmm components and VMMs☆84Updated this week
- ☆149Updated last week
- A cargo-generate template for Rust eBPF Projects using Aya☆112Updated last week
- Ebpf faqs, samples, tooling☆45Updated 4 years ago
- Notes on optimizing the linux kernel function csum_partial☆11Updated 3 years ago
- Stream-based visual programming language for systems observability☆64Updated 3 years ago
- Linux kernel loader☆207Updated last week
- kdevops history tree - use new git tree☆45Updated last year
- Enables streaming of images to and from CRIU during checkpoint/restore with low overhead☆104Updated 2 years ago
- A tool based on eBPF to find out scalability bottlenecks in kernel.☆13Updated 5 years ago
- Integrate WasmEdge with seL4☆42Updated 3 years ago