Alternatives and similar repositories for lk

Users that are interested in lk are comparing it to the libraries listed below

• itszor / vc4-toolchain
  A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.
  ☆140Updated 4 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆41Updated 6 years ago
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆24Updated 4 years ago
• andreiw / polaris
  Solaris/PPC
  ☆21Updated 11 years ago
• Openwide-Ingenierie / uefi-musl
  MUSL libc port for UEFI
  ☆11Updated 7 years ago
• etnaviv / etna_viv
  Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository
  ☆140Updated last week
• j-core / jcore-cpu
  J-Core J2/J32 5 stage pipeline CPU core
  ☆53Updated 4 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• starfive-tech / JH7100_Docs
  ☆62Updated 4 years ago
• lupyuen / pinephone-nuttx
  Apache NuttX RTOS for PinePhone
  ☆99Updated this week
• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆60Updated 3 years ago
• intel / pse-fw
  ☆37Updated 3 months ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆146Updated 4 years ago
• rth7680 / qemu-palcode
  Firmware for Alpha emulation under QEMU
  ☆12Updated 4 years ago
• Icenowy / aw-el2-barebone
  Allwinner SoCs' 64-bit EL2 barebone
  ☆17Updated 2 years ago
• leiradel / barebones-rpi
  Barebones Raspberry Pi programming in C
  ☆14Updated 6 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆18Updated 8 years ago
• aik / SLOF
  Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems
  ☆40Updated last month
• SyllableOS / Syllable
  Syllable is an easy-to-use free software operating system for the home and small office user. It is powerful, lightweight and extraordina…
  ☆36Updated 8 years ago
• Igalia / intel-osrc-gfx-prm
  Intel Open Source Graphics Programmer Reference Manual (PRM)
  ☆39Updated last year
• riscv-admin / riscv-uefi-edk2-docs
  Documentation and status of UEFI on RISC-V
  ☆60Updated 3 years ago
• librerpi / lk-overlay
  ☆93Updated 9 months ago
• grate-driver / grate
  Open source Tegra 2/3/4 2D/3D user-space developer tools
  ☆87Updated last year
• phire / hackdriver
  A hacky userspace v3d driver for the raspberry pi.
  ☆47Updated 11 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 3 months ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆211Updated 5 years ago
• picoos / picoos
  pico]OS realtime operating system
  ☆66Updated 4 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 2 years ago
• swarren / rpi-3-aarch64-demo
  Simplest possible code to demonstrate RPi 3 running AArch64 code
  ☆40Updated 9 years ago