librerpi / lkLinks
LK embedded kernel
☆26Updated 6 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
- Solaris/PPC☆21Updated 11 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆24Updated 4 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆40Updated last month
- Apache NuttX RTOS for PinePhone☆101Updated this week
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆140Updated 4 years ago
- Firmware for Alpha emulation under QEMU☆12Updated 4 years ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- My coreboot work☆23Updated 14 years ago
- ☆37Updated 3 months ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- ARM Cortex M0 emulator for DOS☆27Updated last year
- ☆62Updated 4 years ago
- ☆93Updated 2 weeks ago
- ☆48Updated 9 months ago
- SerialICE is a flexible, software based system software debugger☆35Updated 2 weeks ago
- Peephole optimizer for cproc and QBE☆30Updated 3 weeks ago
- Multi-architecture hobby operating system created in C☆16Updated 3 months ago
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆140Updated 3 weeks ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆53Updated last month
- Sled System Emulator☆28Updated 3 months ago
- ☆13Updated 4 months ago
- Patches include sunxi platform support and various driver fixes☆42Updated 5 months ago
- Simplest possible code to demonstrate RPi 3 running AArch64 code☆40Updated 9 years ago
- System initialization firmware for Power systems☆77Updated last week
- Standalone gdb-stub for RPi 2☆28Updated 9 years ago
- Shell script to build gcc for various architectures☆81Updated 2 weeks ago