Alternatives and similar repositories for lk

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

• andreiw / polaris
  Solaris/PPC
  ☆21Updated 11 years ago
• 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
• rth7680 / qemu-palcode
  Firmware for Alpha emulation under QEMU
  ☆13Updated 4 years ago
• X547 / Haiku-riscv
  Haiku port to RISC-V architecture
  ☆23Updated 4 years ago
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆25Updated 4 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆60Updated 4 years ago
• aik / SLOF
  Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems
  ☆41Updated 3 months ago
• intel / pse-fw
  ☆38Updated 5 months ago
• lupyuen / pinephone-nuttx
  Apache NuttX RTOS for PinePhone
  ☆100Updated this week
• Openwide-Ingenierie / uefi-musl
  MUSL libc port for UEFI
  ☆11Updated 8 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 3 years ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆19Updated 9 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆146Updated 4 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
  ☆141Updated 3 weeks ago
• swarren / rpi-3-aarch64-demo
  Simplest possible code to demonstrate RPi 3 running AArch64 code
  ☆41Updated 9 years ago
• sifiveinc / meta-sifive
  SiFive OpenEmbedded / Yocto BSP Layer
  ☆54Updated 2 weeks ago
• neozeed / xMach
  xMach (Mach4+Lites) cloned from Sourceforge CVS
  ☆22Updated last year
• j-core / jcore-cpu
  J-Core J2/J32 5 stage pipeline CPU core
  ☆54Updated 4 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 15 years ago
• ARM-software / ebbr
  Embedded Base Boot Requirements Specification
  ☆122Updated 3 weeks ago
• clausecker / palanqin
  ARM Cortex M0 emulator for DOS
  ☆29Updated last year
• 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…
  ☆37Updated 8 years ago
• yottatsa / 80188
  Moved to SourceHut
  ☆23Updated 2 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 weeks ago
• starfive-tech / u-boot
  ☆49Updated last week
• ibara / O
  Peephole optimizer for QBE
  ☆31Updated last month
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆55Updated 3 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆18Updated 7 years ago