intel / intel-sdsiLinks
☆48Updated 11 months ago
Alternatives and similar repositories for intel-sdsi
Users that are interested in intel-sdsi are comparing it to the libraries listed below
Sorting:
- ☆141Updated 6 months ago
- Assemble 128-bit RISC-V☆46Updated last year
- System initialization firmware for Power systems☆78Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆25Updated 3 years ago
- musl libc for RISC-V☆84Updated 6 years ago
- K42 Kernel☆31Updated 13 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- Virtio draft specification☆66Updated 12 years ago
- Working Draft of the RISC-V J Extension Specification☆191Updated last week
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated 2 weeks ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Updated last year
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆54Updated last week
- QEMU with support for CHERI☆61Updated 2 weeks ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated 2 months ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Updated 6 years ago
- Arm AArch64 to RISC-V Transpiler☆35Updated 5 years ago
- Table of ARM SoC and their features☆58Updated this week
- This repository provides a Linux kernel bootable on RISC-V boards from SiFive☆169Updated 5 years ago
- ☆19Updated last week
- Documentation for OpenPOWER Firmware☆73Updated last year
- OPAL boot and runtime firmware for POWER☆111Updated last week
- A MIPS port of xv6☆79Updated 9 years ago
- ☆29Updated last year
- Embedded Base Boot Requirements Specification☆122Updated last month
- Firmware for the Jamine OpenSSD platform☆52Updated 3 years ago
- Open Systems Firmware (OSF)☆76Updated 2 years ago
- Virtual Machine built as a CAmkES component.☆24Updated 2 months ago
- Mirror of git.qemu.org/seabios.git☆70Updated 2 months ago
- Sled System Emulator☆28Updated 2 weeks ago