librerpi / rpi-open-firmwareLinks
Open source VPU side bootloader for Raspberry Pi.
☆437Updated last month
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:
- ☆93Updated 7 months ago
- Open source VPU side bootloader for Raspberry Pi.☆5Updated 3 years ago
- Raspberry Pi 3 UEFI Firmware Images☆285Updated 2 years ago
- Neptune OS: A Windows NT personality for the seL4 microkernel☆394Updated last week
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆118Updated last month
- Linux kernel driver for PATA bit-banging over GPIOs☆174Updated 4 years ago
- SCP (power management) firmware for sunxi SoCs☆162Updated 3 months ago
- ☆230Updated 5 months ago
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆140Updated 3 years ago
- Build an Linux OS based image☆245Updated this week
- Tools and information for the Broadcom VideoCore IV (RaspberryPi)☆845Updated 6 years ago
- Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support☆278Updated 2 years ago
- Minimal 68000-based single board computer☆294Updated 4 years ago
- 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers☆198Updated 3 weeks ago
- Linux system calls.☆215Updated 5 years ago
- A mirror of TinyBIOS repository☆310Updated this week
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆260Updated 3 years ago
- BCM5719 firmware reimplementation☆84Updated 4 months ago
- Embedded Base Boot Requirements Specification☆118Updated 2 months ago
- A keyboard/touchpad firmware and updater for the Pinebook Pro☆81Updated 4 years ago
- Simple Linux build, bootable under qemu for multiple architectures.☆455Updated 7 months ago
- Debian OS builder☆593Updated 2 weeks ago
- Raspberry Pi Bare Metal Assembly Programming☆456Updated 3 years ago
- Main RetroBSD Operating System☆381Updated last month
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆136Updated 3 months ago
- Open source retro ISA video card☆532Updated 7 months ago
- Open source Thinkpad T420 battery design☆273Updated 3 years ago
- A binary-compatible unikernel☆394Updated 10 months ago
- A portable, open-source 8086 PC emulator for bare metal Raspberry Pi☆351Updated last year
- My public Baremetal Raspberry Pi code☆320Updated 6 years ago