starfive-tech / opensbiLinks
☆18Updated last month
Alternatives and similar repositories for opensbi
Users that are interested in opensbi are comparing it to the libraries listed below
Sorting:
- ☆46Updated last month
- ☆14Updated 3 years ago
- ☆16Updated 3 years ago
- ☆11Updated 3 years ago
- ☆28Updated 2 years ago
- RISC-V SMBIOS Type 44 Spec☆12Updated last year
- ☆63Updated 2 years ago
- ☆20Updated last year
- Patched sources/configs for RISC-V Linux with musl-based toolchain targeting 8 MB RAM☆24Updated 2 years ago
- RISC-V Configuration Structure☆38Updated 7 months ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated last week
- Xv6 ports for RISC-V☆10Updated 6 months ago
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆15Updated this week
- ☆61Updated 3 years ago
- ISA card expansion for LPC and Glasgow☆10Updated 5 years ago
- Yocto project for Xuantie RISC-V CPU☆39Updated last month
- RISC-V Specific Device Tree Documentation☆42Updated 11 months ago
- Documentation and status of UEFI on RISC-V☆58Updated 3 years ago
- This repo is DEPRECATED.☆22Updated 2 months ago
- ☆96Updated 3 years ago
- Hardware information☆35Updated 7 months ago
- ☆22Updated last year
- This is the source of the seL4 docs.☆16Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Documentation for F4PGA☆24Updated last year
- Main Repo for the OpenHW Group Software Task Group☆17Updated 3 months ago
- Kakao Linux☆36Updated 3 weeks ago
- ☆37Updated last month
- Mirror of git.qemu.org/ipxe.git☆18Updated 3 months ago
- Betrusted embedded controller (UP5K)☆45Updated last year