Alternatives and similar repositories for lk-overlay:

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

• librerpi / rpi-open-firmware
  Open source VPU side bootloader for Raspberry Pi.
  ☆433Updated last year
• kexecboot / kexecboot
  Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec
  ☆113Updated last year
• Manawyrm / pata-gpio
  Linux kernel driver for PATA bit-banging over GPIOs
  ☆173Updated 4 years ago
• itszor / vc4-toolchain
  A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.
  ☆140Updated 3 years ago
• meklort / bcm5719-fw
  BCM5719 firmware reimplementation
  ☆84Updated 2 months ago
• chettrick / discobsd
  2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
  ☆194Updated 2 weeks ago
• ChalkElec / write-edid
  Writes custom EDID data into HDMI adapter (Linux, I2C)
  ☆69Updated 6 months ago
• marmolak / gray386linux
  Linux distribution for i386 machines only.
  ☆91Updated 11 months ago
• jonasblixt / punchboot
  Punchboot
  ☆88Updated this week
• maximeborges / pico-rmii-ethernet
  ☆66Updated 2 years ago
• gojimmypi / wolfssh
  wolfSSH is a small, fast, portable SSH implementation, including support for SCP and SFTP.
  ☆55Updated this week
• brouhaha / glacial
  Glacial - microcoded RISC-V core designed for low FPGA resource utilization
  ☆84Updated 5 years ago
• lupyuen / pinephone-nuttx
  Apache NuttX RTOS for PinePhone
  ☆98Updated this week
• rscott2049 / pico-rmii-ethernet_nce
  Line rate Ethernet interface for RP2XXX.
  ☆105Updated 3 weeks ago
• John-Nagle / ttyloopdriver
  Hardware device for driving antique Teletype machines
  ☆51Updated 4 years ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated last year
• yuq / gfx
  ☆17Updated 3 months ago
• ArthurHeymans / petitboot_for_coreboot
  ☆24Updated 3 years ago
• jonasblixt / jiffy
  IMX6UL Development board
  ☆24Updated 6 years ago
• marmolak / gray486linux
  Custom build Linux distribution for netbooted 486 machine.
  ☆46Updated 2 months ago
• Manawyrm / ISA8019
  RTL8019-based ISA network card, NE2000-compatible
  ☆110Updated 4 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆41Updated 5 years ago
• OLIMEX / RVPC
  The EURO 1.00 Risc-V personal computer with VGA and Keyboard and Woz like monitor. The purpose of this project is to make educational pla…
  ☆38Updated 5 months ago
• crust-firmware / crust
  SCP (power management) firmware for sunxi SoCs
  ☆162Updated 3 weeks ago
• librerpi / lk
  LK embedded kernel
  ☆24Updated 2 months 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
  ☆132Updated last month
• mitxela / kiloboot
  1kB TFTP Ethernet bootloader for ATmega328P and ENC28J60
  ☆52Updated 7 years ago
• rscott2049 / DECstation2040
  A RP2040 based DECstation emulator
  ☆193Updated 8 months ago
• richfelker / usand
  usand - convenient and minimal unshare(1)-based sandbox
  ☆63Updated 4 years ago
• pine64 / bl602-docs
  Documentation of the BL602 IC
  ☆65Updated 2 years ago