riscv-collab / kexec-tools
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for kexec-tools
- Freedom U540-C000 Bootloader Code☆85Updated 4 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- RISC-V Specific Device Tree Documentation☆41Updated 4 months ago
- ☆16Updated this week
- Builds and parses PCIe Transport Layer Packets (TLPs)☆35Updated 2 years ago
- betrusted.io main SoC design☆12Updated 4 years ago
- RISC-V Profiles and Platform Specification☆112Updated last year
- Documentation and status of UEFI on RISC-V☆53Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Bare Metal Compatibility Library for the Freedom Platform☆154Updated 11 months ago
- Arm SystemReady : BSA Architecture Compliance Suite☆16Updated this week
- KVM RISC-V HowTOs☆42Updated 2 years ago
- RISC-V Linux Port☆32Updated last week
- Custom PSP app framework☆15Updated 3 years ago
- A utility for decoding aarch64 ESR register values.☆74Updated this week
- RISC-V port of newlib☆95Updated 2 years ago
- Arm SystemReady☆54Updated this week
- RISC-V Architecture Profiles☆119Updated 3 weeks ago
- RISC-V Configuration Structure☆37Updated 3 weeks ago
- SiFive OpenEmbedded / Yocto BSP Layer☆50Updated this week
- Sled System Emulator☆28Updated 2 weeks ago
- Tools for SiFive's Freedom Platform☆216Updated 3 years ago
- RISC-V IOMMU Specification☆96Updated this week
- Sail code model of the CHERIoT ISA☆34Updated this week
- Thunderclap hardware for Intel Arria 10 FPGA☆31Updated 5 years ago
- Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/☆22Updated 2 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆36Updated 3 years ago
- RISC-V port of GNU's libc☆70Updated 3 years ago
- busybear-linux is a tiny RISC-V Linux root filesystem image that targets the VirtIO board in riscv-qemu.☆95Updated 4 months ago
- VexRiscV system with GDB-Server in Hardware☆20Updated last year