FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
☆24Jun 2, 2023Updated 2 years ago
Alternatives and similar repositories for unikraft
Users that are interested in unikraft are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Loupe: Syscall Usage Analysis Tool☆46Updated this week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Scripts and code for PARTIES (ASPLOS'19)☆30Apr 22, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An Open Source Link Protocol and Controller☆29Jul 26, 2021Updated 4 years ago
- A Secure and Memory-Efficient Heap Allocator☆34Jun 21, 2024Updated last year
- Pure Go UEFI library for Linux and Windows☆19Jan 14, 2025Updated last year
- Simulator for a superscalar processor with dynamic scheduling and branch prediction☆15Nov 23, 2018Updated 7 years ago
- A tool based on eBPF to find out scalability bottlenecks in kernel.☆13Jun 11, 2020Updated 5 years ago
- simple RISC-V 64bit emulator, which can boot linux kernel.☆11Oct 16, 2023Updated 2 years ago
- Tiny collection of micro benchmarks.☆20Mar 2, 2019Updated 7 years ago
- Measurements and comparisons of nabla containers☆15Feb 20, 2019Updated 7 years ago
- ☆13Oct 8, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- numad for debian/ubuntu☆17Apr 28, 2016Updated 9 years ago
- A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup☆47May 26, 2024Updated last year
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Oct 13, 2022Updated 3 years ago
- Tools for interfacing with the MetaShunt power profiling tool☆13Feb 3, 2026Updated last month
- Load and execute Linux ELF binaries☆48Feb 26, 2026Updated last month
- ☆16May 20, 2019Updated 6 years ago
- An implementation of the IETF QUIC protocol in F*☆20Aug 8, 2019Updated 6 years ago
- Now I shall sing the second kingdom there where the soul of man is cleansed, made worthy to ascend to Heaven.☆12Dec 15, 2025Updated 3 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆15Apr 13, 2021Updated 4 years ago
- 复杂网络分析工具客户端☆14Jul 15, 2022Updated 3 years ago
- ☆19Jan 10, 2023Updated 3 years ago
- ☆17Mar 17, 2022Updated 4 years ago
- Port of uCLinux for the Mackerel-68k☆12Oct 8, 2025Updated 5 months ago
- Wishbone to ARM AMBA 4 AXI☆16May 25, 2019Updated 6 years ago
- DDIR: An Open Source Dataset for Darkweb Research☆15Oct 28, 2019Updated 6 years ago
- Emulator for the Konami VRC7☆19Sep 24, 2019Updated 6 years ago
- Main Repo for the OpenHW Group Software Task Group☆17Mar 11, 2025Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Witsml client lib in C#☆15Sep 29, 2015Updated 10 years ago
- Generic AXI to APB bridge☆13Jul 17, 2014Updated 11 years ago
- A Rust library for passing arbitrary file descriptors when spawning child processes.☆45Mar 9, 2026Updated 2 weeks ago
- Google Summer of Code projects☆13Nov 1, 2020Updated 5 years ago
- cpm-m3: CP/M-M3 is a port of CP/M-68K to the ARM Cortex-M3 by Roger Ivie☆16Mar 19, 2022Updated 4 years ago
- A Python tool for tracking changes in Compute Express Link (CXL) features within the Linux kernel using GitHub API. It supports various o…☆13Jun 13, 2025Updated 9 months ago
- Compartmentalised monolithic library OS☆21Jul 15, 2021Updated 4 years ago