intel / intel-sdsiLinks
☆48Updated 9 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:
- ☆138Updated 4 months ago
- Assemble 128-bit RISC-V☆45Updated last year
- Documentation and status of UEFI on RISC-V☆61Updated 4 years ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆52Updated last month
- System initialization firmware for Power systems☆77Updated last week
- SiFive OpenEmbedded / Yocto BSP Layer☆53Updated last month
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆47Updated last year
- ARM Enterprise: SBSA Architecture Compliance Suite☆90Updated 2 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- K42 Kernel☆29Updated 13 years ago
- musl libc for RISC-V☆83Updated 6 years ago
- This repository provides a Linux kernel bootable on RISC-V boards from SiFive☆169Updated 5 years ago
- Working Draft of the RISC-V J Extension Specification☆191Updated last week
- Table of ARM SoC and their features☆58Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Virtio draft specification☆65Updated 12 years ago
- QEMU with support for CHERI☆59Updated this week
- McKernel☆120Updated last year
- A MIPS port of xv6☆79Updated 9 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last month
- Advanced Operating Systems project☆20Updated 11 months ago
- ☆18Updated last week
- ☆18Updated 3 months ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆181Updated this week
- Documentation for OpenPOWER Firmware☆72Updated last year
- RISC-V Profiles and Platform Specification☆114Updated last year
- Core KernelCI tools☆112Updated this week
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.☆32Updated 11 months ago