open-power / pdbg
PowerPC FSI Debugger
☆16Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for pdbg
- System initialization firmware for Power systems☆75Updated this week
- Suite of utilities for Linux on Power systems☆34Updated this week
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- Ampere EDK II implementation for Ampere's arm64 SoCs☆22Updated last month
- Mirror of git.qemu.org/openbios.git☆20Updated 2 months ago
- DejaGnu RISC-V port☆12Updated 2 years ago
- StarFive OpenEmbedded Layer☆15Updated 3 months ago
- Linux for Powerpc mirror☆25Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- http://www.memtest.org☆53Updated 8 years ago
- ☆48Updated 2 weeks ago
- 4th RISC-V Workshop Tutorials☆15Updated 8 years ago
- ☆20Updated 6 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆13Updated this week
- Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…☆17Updated 3 months ago
- ☆14Updated 9 years ago
- This project provides a header file which contains wrapper macros for the __builtin_load_no_speculate builtin function defined at https:/…☆45Updated 6 years ago
- Examples from my "Introduction to ARM" training course☆15Updated 12 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- Mirror of git.qemu.org/sgabios.git☆17Updated 2 years ago
- RISC-V Specific Device Tree Documentation☆41Updated 4 months ago
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- OPAL boot and runtime firmware for POWER☆100Updated 2 months ago
- Linux kernel boot wrapper for FAST Models☆13Updated 11 years ago
- OpenPOWER / Open Compute Server, based upon POWER9☆29Updated 6 years ago
- ☆23Updated 5 years ago
- Software, tools, documentation for Vegaboard platform☆63Updated 5 years ago
- The little simulator that could.☆15Updated 6 years ago
- EDK II LKL Filesystem Driver☆13Updated 7 years ago