unikraft / gsocLinks
Unikraft Google Summer of Code
☆14Updated 2 months ago
Alternatives and similar repositories for gsoc
Users that are interested in gsoc are comparing it to the libraries listed below
Sorting:
- Crates for Microsoft Hypervisor ioctls and bindings☆41Updated last week
- Loupe: Syscall Usage Analysis Tool☆42Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- ☆12Updated 3 years ago
- ☆20Updated 3 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- ☆43Updated this week
- ☆39Updated last week
- The front page and documentation for the Unikraft Open-Source Project.☆35Updated 2 months ago
- A Type-1.5 hypervisor written in Rust.☆68Updated last year
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Updated 3 weeks ago
- Risc-V hypervisor for TEE development☆125Updated 5 months ago
- hypercraft is a VMM library written in Rust.☆53Updated last year
- ☆14Updated 2 weeks ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated last week
- Hypervisor from scratch in linux☆13Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆18Updated 3 years ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆40Updated last week
- BTF introspection tool☆40Updated this week
- 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 this week
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Updated 4 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆25Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- RedLeaf Operating System☆136Updated 3 years ago
- Rcore Virtual Machine☆114Updated last year
- ☆19Updated last year
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated last month
- ☆45Updated this week
- ☆23Updated 2 years ago