librerpi / lk
LK embedded kernel
☆24Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for lk
- ☆60Updated 3 years ago
- Table of ARM SoC and their features☆36Updated last week
- Documentation and status of UEFI on RISC-V☆53Updated 3 years ago
- ☆16Updated 2 years ago
- rpi-internal-registers☆42Updated 5 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- ISA card expansion for LPC and Glasgow☆10Updated 5 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 3 years ago
- Embedded Base Boot Requirements Specification☆115Updated 3 weeks ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- ☆90Updated 3 weeks ago
- NixOS on Allwinner D1 RISC-V☆38Updated 2 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- J-Core J2/J32 5 stage pipeline CPU core☆48Updated 3 years ago
- ☆14Updated 2 years ago
- Prebuilt images for Linux for the Pano Logic G2