librerpi / lkLinks
LK embedded kernel
☆24Updated 3 months ago
Alternatives and similar repositories for lk
Users that are interested in lk are comparing it to the libraries listed below
Sorting:
- rpi-internal-registers☆41Updated 6 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆23Updated 4 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 2 years ago
- Haiku port to RISC-V architecture☆22Updated 3 years ago
- ☆61Updated 3 years ago
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- Alpha Motherboards Software Developer’s Kit tools☆13Updated 2 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Solaris/PPC☆21Updated 10 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆38Updated 6 months ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- ☆17Updated 9 months ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated last week
- ISA card expansion for LPC and Glasgow☆10Updated 5 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- ☆32Updated 5 years ago
- PReP emulation on Power8☆30Updated 8 years ago
- Documentation and status of UEFI on RISC-V☆58Updated 3 years ago
- Pine A64 mass storage using FEL and u-boot☆20Updated 6 years ago
- A hacky userspace v3d driver for the raspberry pi.☆47Updated 10 years ago
- Sled System Emulator☆28Updated last month
- Prebuilt images for Linux for the Pano Logic G2☆13Updated last year
- ARM Cortex M0 emulator for DOS☆27Updated last year
- UEFI, on Loongson.☆14Updated 8 years ago
- ☆18Updated last week
- ☆11Updated 2 years ago
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆20Updated 8 years ago
- ☆92Updated 7 months ago
- Betrusted embedded controller (UP5K)☆45Updated last year