Alternatives and similar repositories for lk-overlay:

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

• Manawyrm / pata-gpio
  Linux kernel driver for PATA bit-banging over GPIOs
  ☆173Updated 4 years ago
• librerpi / rpi-open-firmware
  Open source VPU side bootloader for Raspberry Pi.
  ☆432Updated last year
• kexecboot / kexecboot
  Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec
  ☆112Updated last year
• librerpi / lk
  LK embedded kernel
  ☆24Updated last month
• meklort / bcm5719-fw
  BCM5719 firmware reimplementation
  ☆84Updated last month
• itszor / vc4-toolchain
  A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.
  ☆140Updated 3 years ago
• marmolak / gray486linux
  Custom build Linux distribution for netbooted 486 machine.
  ☆46Updated 3 weeks ago
• chettrick / discobsd
  2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
  ☆185Updated this week
• lupyuen / pinephone-nuttx
  Apache NuttX RTOS for PinePhone
  ☆99Updated this week
• ArthurHeymans / petitboot_for_coreboot
  ☆24Updated 3 years ago
• pine64 / bl_iot_sdk
  BL602 SDK (Pine64 fork)
  ☆132Updated 2 years ago
• aarch64-laptops / debian-cdimage
  ☆83Updated 3 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆41Updated 5 years ago
• smaeul / linux
  Patches include sunxi platform support and various driver fixes
  ☆80Updated last month
• rscott2049 / DECstation2040
  A RP2040 based DECstation emulator
  ☆191Updated 7 months ago
• yuq / gfx
  ☆17Updated 2 months ago
• gojimmypi / wolfssh
  wolfSSH is a small, fast, portable SSH implementation, including support for SCP and SFTP.
  ☆55Updated 2 weeks ago
• ChalkElec / write-edid
  Writes custom EDID data into HDMI adapter (Linux, I2C)
  ☆69Updated 5 months ago
• jackhumbert / pinebook-pro-keyboard-updater
  A keyboard/touchpad firmware and updater for the Pinebook Pro
  ☆80Updated 3 years ago
• hlandau / ortega
  Ortega FDK
  ☆76Updated last year
• jonasblixt / punchboot
  Punchboot
  ☆87Updated this week
• pine64 / bl602-docs
  Documentation of the BL602 IC
  ☆65Updated 2 years ago
• marmolak / gray386linux
  Linux distribution for i386 machines only.
  ☆90Updated 9 months ago
• phire / hackdriver
  A hacky userspace v3d driver for the raspberry pi.
  ☆47Updated 10 years ago
• n-hys / illumos-gate
  An open-source Unix operating system
  ☆24Updated 2 years ago
• Manawyrm / nvme-int13h-optionrom
  Option ROM to boot x86 PCs from NVMe drives (legacy BIOS, INT 13h)
  ☆128Updated 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
• crust-firmware / crust
  SCP (power management) firmware for sunxi SoCs
  ☆159Updated last year
• jonasblixt / jiffy
  IMX6UL Development board
  ☆24Updated 5 years ago