open-power / skibootLinks
OPAL boot and runtime firmware for POWER
☆111Updated last week
Alternatives and similar repositories for skiboot
Users that are interested in skiboot are comparing it to the libraries listed below
Sorting:
- System initialization firmware for Power systems☆78Updated this week
- Documentation for OpenPOWER Firmware☆73Updated last year
- Buildroot overlay for Open Power☆109Updated this week
- Suite of utilities for Linux on Power systems☆40Updated last month
- VFIO subsystem and Aspeed machines☆22Updated this week
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated last month
- http://www.memtest.org☆55Updated 9 years ago
- Embedded Base Boot Requirements Specification☆122Updated 3 weeks ago
- ☆141Updated 6 months ago
- Open Systems Firmware (OSF)☆76Updated 2 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 9 years ago
- ☆107Updated 3 years ago
- Linux for Powerpc mirror☆26Updated last week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆188Updated this week
- This repo is DEPRECATED.☆22Updated 6 months ago
- Virtio draft specification☆66Updated 12 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- Kexec Tools: Userspace portion of Kexec☆70Updated this week
- This project provides a header file which contains wrapper macros for the __builtin_load_no_speculate builtin function defined at https:/…☆44Updated 7 years ago
- Codezero Microkernel☆112Updated 3 years ago
- ☆116Updated 2 months ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 5 months ago
- NOVA userland☆48Updated 11 years ago
- OpenPOWER / Open Compute Server, based upon POWER9☆31Updated 7 years ago
- UEFI boot loader☆80Updated 3 years ago
- ☆48Updated 11 months ago
- Binary Configuration Tool for Intel(R) FSP☆73Updated 3 months ago
- UEFI, on Loongson.☆14Updated 9 years ago
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆96Updated 11 years ago