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
• Manawyrm / pata-gpio
  Linux kernel driver for PATA bit-banging over GPIOs
  ☆173Updated 4 years ago
• kexecboot / kexecboot
  Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec
  ☆112Updated last year
• crust-firmware / crust
  SCP (power management) firmware for sunxi SoCs
  ☆159Updated last year
• itszor / vc4-toolchain
  A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.
  ☆140Updated 3 years ago
• jonasblixt / jiffy
  IMX6UL Development board
  ☆24Updated 5 years ago
• chettrick / discobsd
  2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
  ☆186Updated this week
• lupyuen / pinephone-nuttx
  Apache NuttX RTOS for PinePhone
  ☆99Updated this week
• librerpi / lk
  LK embedded kernel
  ☆24Updated last month
• meklort / bcm5719-fw
  BCM5719 firmware reimplementation
  ☆84Updated last month
• Manawyrm / nvme-int13h-optionrom
  Option ROM to boot x86 PCs from NVMe drives (legacy BIOS, INT 13h)
  ☆128Updated last year
• rscott2049 / pico-rmii-ethernet_nce
  Line rate Ethernet interface for RP2XXX.
  ☆104Updated 2 months ago
• smaeul / linux
  Patches include sunxi platform support and various driver fixes
  ☆81Updated last month
• ChalkElec / write-edid
  Writes custom EDID data into HDMI adapter (Linux, I2C)
  ☆69Updated 5 months ago
• 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 3 weeks ago
• marmolak / gray386linux
  Linux distribution for i386 machines only.
  ☆91Updated 10 months ago
• yuq / gfx
  ☆17Updated 2 months ago
• system76 / coreboot-collector
  Utility for collecting valuable information for coreboot
  ☆23Updated last year
• open-power / petitboot
  ☆226Updated 2 months ago
• mitxela / kiloboot
  1kB TFTP Ethernet bootloader for ATmega328P and ENC28J60
  ☆52Updated 7 years ago
• notro / gud
  GUD USB Display
  ☆168Updated last year
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated last year
• 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…
  ☆37Updated 4 months ago
• abrasive / nightcap
  Run Windows screensavers under xscreensaver, using copious quantities of wine
  ☆51Updated 9 months ago
• ayufan-pine64 / boot-tools
  Pine A64 mass storage using FEL and u-boot
  ☆20Updated 6 years ago
• pine64 / bl602-docs
  Documentation of the BL602 IC
  ☆65Updated 2 years ago
• marmolak / gray486linux
  Custom build Linux distribution for netbooted 486 machine.
  ☆46Updated last month
• osresearch / pixel-wrangler
  HDMI to whatever adapter
  ☆111Updated last year
• Manawyrm / ISA8019
  RTL8019-based ISA network card, NE2000-compatible
  ☆110Updated 4 years ago