librerpi / rpi-open-firmware
Open source VPU side bootloader for Raspberry Pi.
☆428Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for rpi-open-firmware
- ☆90Updated 3 weeks ago
- Raspberry Pi 3 UEFI Firmware Images☆278Updated last year
- Open source VPU side bootloader for Raspberry Pi.☆1,131Updated 2 years ago
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆136Updated 3 years ago
- Linux kernel driver for PATA bit-banging over GPIOs☆167Updated 4 years ago
- ☆214Updated 7 months ago
- SCP (power management) firmware for sunxi SoCs☆155Updated last year
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆109Updated last year
- Pinephone Modem SDK: Tools to build your own bootloader, kernel and rootfs☆597Updated last month
- Display, extract, and manipulate PSP firmware inside UEFI images☆612Updated 2 months ago
- GUD USB Display☆155Updated 11 months ago
- Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support☆271Updated last year
- 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers☆181Updated last week
- Neptune OS: A Windows NT personality for the seL4 microkernel☆375Updated 3 weeks ago
- Tools and information for the Broadcom VideoCore IV (RaspberryPi)☆823Updated 5 years ago
- cpu command in Go, inspired by the Plan 9 cpu command☆238Updated last week
- Use of a Linux initramfs to fully automate the bootstrapping process☆520Updated 3 weeks ago
- Debian OS builder☆546Updated this week
- A mirror of TinyBIOS repository☆305Updated this week
- Option ROM to boot x86 PCs from NVMe drives (legacy BIOS, INT 13h)☆122Updated last year
- Simple boot-over-serial bootloader for the Raspberry Pi☆139Updated 3 years ago
- Flash/Rescue SD Card image for PinePhone and PineTab. This is NOT a bootloader☆480Updated last year
- Looking for docs on Precursor/Betrusted? Start here.☆174Updated 3 years ago
- ☆169Updated 5 months ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆176Updated 3 years ago
- Embeddable Linux Kernel Subset - Linux for 8086☆1,021Updated this week
- USB Raw Gadget — a low-level interface for the Linux USB Gadget subsystem☆363Updated 2 months ago
- mirror of seabios☆386Updated 3 weeks ago
- The world's worst kernel module☆295Updated 3 years ago
- ☆81Updated 2 years ago