Alternatives and similar repositories for rpi-open-firmware:

Users that are interested in rpi-open-firmware are comparing it to the libraries listed below

• librerpi / rpi-open-firmware
  Open source VPU side bootloader for Raspberry Pi.
  ☆433Updated last week
• freebsd / crochet
  Build FreeBSD images for RaspberryPi, BeagleBone, PandaBoard, and others.
  ☆618Updated 3 months ago
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆598Updated 4 years ago
• RetroBSD / retrobsd
  Main RetroBSD Operating System
  ☆378Updated this week
• dwelch67 / raspberrypi
  Raspberry Pi ARM based bare metal examples
  ☆2,745Updated last year
• Harvey-OS / harvey
  A distributed operating system
  ☆1,450Updated 2 years ago
• archlinuxarm / PKGBUILDs
  PKGBUILDs modified to build on Arch Linux ARM
  ☆1,001Updated this week
• dekuNukem / FAP80
  A Z80 retro computer without the retro baggage
  ☆479Updated 8 years ago
• raspberrypi / userland
  Source code for ARM side libraries for interfacing to Raspberry Pi GPU.
  ☆2,056Updated 4 months ago
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆412Updated 3 years ago
• linuxboot / heads
  A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations…
  ☆1,466Updated this week
• rsta2 / circle
  A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
  ☆1,992Updated this week
• minoca / os
  Minoca operating system
  ☆2,744Updated 3 years ago
• gkostka / lwext4
  ext2/ext3/ext4 filesystem library for microcontrollers
  ☆515Updated last year
• anholt / linux
  ☆134Updated 2 years ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,925Updated 2 years ago
• landley / mkroot
  Simple Linux build, bootable under qemu for multiple architectures.
  ☆461Updated 5 months ago
• zamaudio / intelmetool
  My tool for working with Intel Management Engine - RETIRED REPO (see coreboot for new upstream)
  ☆157Updated 6 years ago
• dhruvvyas90 / qemu-rpi-kernel
  Qemu kernel for emulating Rpi on QEMU
  ☆2,101Updated 2 years ago
• genodelabs / genode
  Genode OS Framework
  ☆1,116Updated this week
• eklitzke / c.sh
  Inline C/asm in Bash
  ☆252Updated 7 years ago
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆564Updated this week
• littlekernel / lk
  LK embedded kernel
  ☆3,338Updated last week
• mjg59 / mei-amt-check
  Check whether AMT is enabled and provisioned under Linux
  ☆466Updated 7 years ago
• EtchedPixels / FUZIX
  FuzixOS: Because Small Is Beautiful
  ☆2,279Updated this week
• OLIMEX / DIY-LAPTOP
  Do It Yourself Open Source Hardware and Software Modular Hacker's Friendly Laptop
  ☆510Updated 11 months ago
• adriancable / 8086tiny
  Official repository for 8086tiny: a tiny PC emulator/virtual machine
  ☆995Updated 2 years ago
• go-debos / debos
  Debian OS builder
  ☆580Updated last week
• bonzini / qboot
  Minimal x86 firmware for booting Linux kernels
  ☆712Updated 2 years ago
• Yours3lf / rpi-vk-driver
  VK driver for the Raspberry Pi (Broadcom Videocore IV)
  ☆1,234Updated 4 years ago