librerpi / rpi-open-firmwareLinks
Open source VPU side bootloader for Raspberry Pi.
☆447Updated 3 months ago
Alternatives and similar repositories for rpi-open-firmware
Users that are interested in rpi-open-firmware are comparing it to the libraries listed below
Sorting:
- ☆96Updated 2 weeks ago
- Raspberry Pi 3 UEFI Firmware Images☆294Updated last week
- ☆240Updated 4 months ago
- Open source VPU side bootloader for Raspberry Pi.☆12Updated 3 years ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆127Updated 7 months ago
- Pinephone Modem SDK: Tools to build your own bootloader, kernel and rootfs☆615Updated last year
- SCP (power management) firmware for sunxi SoCs☆164Updated 8 months ago
- GUD USB Display☆175Updated last year
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆142Updated 4 years ago
- A mirror of TinyBIOS repository☆312Updated 3 weeks ago
- 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers☆221Updated last week
- ☆493Updated 3 weeks ago
- Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support☆282Updated 2 years ago
- Build an Linux OS based image☆253Updated last week
- A keyboard/touchpad firmware and updater for the Pinebook Pro☆81Updated 4 years ago
- The world's worst kernel module☆300Updated 4 years ago
- Neptune OS: A Windows NT personality for the seL4 microkernel☆413Updated this week
- Punchboot☆92Updated last week
- ☆83Updated 4 years ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆183Updated 4 years ago
- A userspace driver implementation of the Epiphan VGA2USB LR☆298Updated 4 years ago
- Linux system calls.