What if everything is a io_uring?
☆17Nov 10, 2022Updated 3 years ago
Alternatives and similar repositories for ChannelOS
Users that are interested in ChannelOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My DAC '21 work open-sourced.☆14Feb 25, 2021Updated 5 years ago
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- Alogic is a Medium Level Synthesis language for digital logic that compiles swiftly into standard Verilog-2005 for implementation in ASIC…☆18May 19, 2021Updated 4 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- User-mode trap-and-emulate hypervisor for RISC-V☆14Feb 11, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 3 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Mar 3, 2022Updated 4 years ago
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated 11 months ago
- Test run any program on D1 Nezha board flash☆27Jul 29, 2022Updated 3 years ago
- My RV64 CPU (Work in progress)☆19Dec 22, 2022Updated 3 years ago
- 各类内核的设计思路☆19May 19, 2021Updated 4 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- 遍历设备树二进制对象☆15Nov 22, 2025Updated 4 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A 3d printed case design for Lichee Pi 4A☆11May 13, 2023Updated 2 years ago
- 实验：rust 实现 llama2 推理☆17Feb 23, 2024Updated 2 years ago
- This repo contains a RISC-V ISA extension (proposal) to allow recording of control transfer history to on-chip registers, to support usag…☆23Mar 10, 2026Updated 3 weeks ago
- [No longer active] A fork of OpenSBI, with software-emulated hypervisor extension support☆43Aug 15, 2025Updated 7 months ago
- ☆43Nov 5, 2023Updated 2 years ago
- RV32I by cats☆15Sep 4, 2023Updated 2 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆50Feb 20, 2023Updated 3 years ago
- 2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高☆48Dec 15, 2021Updated 4 years ago
- Superscalar RISC-V processor written in Clash.☆35Aug 23, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆16May 22, 2023Updated 2 years ago
- ☆89Aug 26, 2025Updated 7 months ago
- RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core☆17Jul 20, 2023Updated 2 years ago
- hypercraft is a VMM library written in Rust.☆54Oct 20, 2024Updated last year
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19May 12, 2024Updated last year
- A stack-based language implemented in RISC-V assembly☆17Apr 4, 2024Updated 2 years ago
- CIDR union / subtraction☆14Apr 1, 2026Updated last week
- Open-Source EDA workshop for RISC-V community☆12Jul 27, 2022Updated 3 years ago
- Simple RISC-V SBI runtime library; designated for supervisor use☆25Jan 10, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Rocket-Chip with a Dynamically Randomized LLC☆13Sep 18, 2024Updated last year
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Mar 16, 2026Updated 3 weeks ago
- A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model☆28Sep 25, 2013Updated 12 years ago
- Dockerfile with Vivado for CI☆27Apr 17, 2020Updated 5 years ago
- All public report slides, articles and meeting minutes related to RustSBI☆29Dec 14, 2025Updated 3 months ago
- Synthesisable SIMT-style RISC-V GPGPU☆52Mar 30, 2026Updated last week
- The file system module for rCore OS.☆50Jun 13, 2024Updated last year