starfive-tech / opensbi
☆18Updated 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
- ☆14Updated 2 years ago
- ☆11Updated 2 years ago
- ☆16Updated 2 years ago
- ☆19Updated last year
- ☆28Updated 2 years ago
- Patched sources/configs for RISC-V Linux with musl-based toolchain targeting 8 MB RAM☆24Updated 2 years ago
- ☆62Updated last year
- RISC-V SMBIOS Type 44 Spec☆12Updated last year
- RISC-V Configuration Structure☆37Updated 4 months ago
- ☆60Updated 3 years ago
- RISC-V Specific Device Tree Documentation☆42Updated 8 months ago
- Xv6 ports for RISC-V☆10Updated 3 months ago
- Hardware information☆33Updated 4 months ago
- Documentation for F4PGA☆23Updated last year
- Linux kernel source tree☆8Updated 6 months ago
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago
- Mostly AVR compatible FPGA soft-core☆27Updated 3 years ago
- ISA card expansion for LPC and Glasgow☆10Updated 5 years ago
- ☆31Updated 2 weeks ago
- Kakao Linux☆33Updated this week
- This is the source of the seL4 docs.☆16Updated this week
- ☆15Updated last year
- IP submodules, formatted for easier CI integration☆29Updated last year
- libslirp for Linux made easy peasy☆28Updated 5 months ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Updated 3 years ago
- Yocto project for Xuantie RISC-V CPU☆38Updated 2 months ago
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- This is a minimal example of a working Linux distribution, aka "micro distribution"☆26Updated last year
- Betrusted embedded controller (UP5K)☆45Updated last year