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:
- System initialization firmware for Power systems☆77Updated this week
- ☆140Updated 5 months ago
- Assemble 128-bit RISC-V☆46Updated last year
- 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 this week
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- Virtio draft specification☆66Updated 12 years ago
- K42 Kernel☆30Updated 13 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Working Draft of the RISC-V J Extension Specification☆191Updated last month
- QEMU with support for CHERI☆59Updated this week
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Advanced Operating Systems project☆20Updated 2 weeks ago
- This repository provides a Linux kernel bootable on RISC-V boards from SiFive☆169Updated 5 years ago
- ☆68Updated 3 years ago
- ☆63Updated 2 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- Table of ARM SoC and their features☆58Updated 3 weeks ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆189Updated this week
- musl libc for RISC-V☆84Updated 6 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Updated 6 years ago
- A dynamic library bundling the guest payload consumed by libkrun☆105Updated last week
- ☆18Updated this week
- Core KernelCI tools☆113Updated this week
- Open Systems Firmware (OSF)☆76Updated 2 years ago
- McKernel☆120Updated 3 weeks ago
- Documentation for OpenPOWER Firmware☆72Updated last year
- Sail code model of the CHERIoT ISA☆44Updated this week