starfive-tech / opensbi
☆17Updated last week
Alternatives and similar repositories for opensbi:
Users that are interested in opensbi are comparing it to the libraries listed below
- ☆46Updated last week
- ☆11Updated 2 years ago
- ☆14Updated 2 years ago
- ☆16Updated 2 years ago
- ☆28Updated 2 years ago
- ☆62Updated last year
- ☆19Updated last year
- RISC-V SMBIOS Type 44 Spec☆12Updated last year
- RISC-V Configuration Structure☆37Updated 4 months ago
- Patched sources/configs for RISC-V Linux with musl-based toolchain targeting 8 MB RAM☆24Updated 2 years ago
- ☆60Updated 3 years ago
- Xv6 ports for RISC-V☆10Updated 3 months ago
- ☆29Updated last week
- Hardware information☆33Updated 4 months ago
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆14Updated this week
- This is the source of the seL4 docs.☆16Updated this week
- ☆95Updated 3 years ago
- RISC-V Specific Device Tree Documentation☆42Updated 8 months ago
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆46Updated 2 weeks ago
- IP submodules, formatted for easier CI integration☆29Updated last year
- ☆21Updated 11 months ago
- Ampere EDK II implementation for Ampere's arm64 SoCs☆22Updated 4 months ago
- libslirp for Linux made easy peasy☆28Updated 4 months ago
- Kakao Linux☆33Updated last month
- ☆48Updated 4 months ago
- Yocto project for Xuantie RISC-V CPU☆38Updated 2 months ago
- Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)☆26Updated this week
- Documentation and status of UEFI on RISC-V☆55Updated 3 years ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Updated 3 years ago