librerpi / lkLinks
LK embedded kernel
☆26Updated last year
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
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆144Updated 4 years ago
- My coreboot work☆23Updated 15 years ago
- Solaris/PPC☆21Updated 11 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Updated 7 months ago
- ☆97Updated 2 months ago
- MUSL libc port for UEFI☆11Updated 8 years ago
- ☆62Updated 4 years ago
- Apache NuttX RTOS for PinePhone☆102Updated this week
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆61Updated 4 years ago
- Firmware for Alpha emulation under QEMU☆13Updated 4 years ago
- ☆39Updated 9 months ago
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆143Updated 3 weeks ago
- A small X server, based on Xorg 1.2 but with security fixes.☆104Updated 10 years ago
- Haiku port to RISC-V architecture☆24Updated 4 years ago
- UEFI boot loader☆80Updated 3 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆28Updated 5 years ago
- Embedded Base Boot Requirements Specification☆123Updated this week
- A hacky userspace v3d driver for the raspberry pi.☆48Updated 11 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 3 years ago
- Simple boot-over-serial bootloader for the Raspberry Pi☆146Updated 5 years ago
- Fast and lightweight yet another UEFI implementation☆107Updated 3 years ago
- Chadderz's Simple USB Driver for Raspberry Pi☆213Updated 5 years ago
- ☆50Updated 3 months ago
- Simplest possible code to demonstrate RPi 3 running AArch64 code☆41Updated 9 years ago
- Alpha Motherboards Software Developer’s Kit tools☆15Updated 2 weeks ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago
- Mostly AVR compatible FPGA soft-core☆30Updated 4 years ago
- Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)☆32Updated this week