librerpi / rpi-open-firmware
Open source VPU side bootloader for Raspberry Pi.
☆426Updated 7 months ago
Related projects: ⓘ
- ☆87Updated 2 months ago
- Raspberry Pi 3 UEFI Firmware Images☆275Updated last year
- Open source VPU side bootloader for Raspberry Pi.☆1,127Updated 2 years ago
- Neptune OS: A Windows NT personality for the seL4 microkernel☆370Updated last week
- Embeddable Linux Kernel Subset - Linux for 8086☆984Updated this week
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆135Updated 3 years ago
- Linux kernel driver for PATA bit-banging over GPIOs☆167Updated 4 years ago
- Pinephone Modem SDK: Tools to build your own bootloader, kernel and rootfs☆595Updated 3 months ago
- Tools and information for the Broadcom VideoCore IV (RaspberryPi)☆820Updated 5 years ago
- Minimal 68000-based single board computer☆280Updated 4 years ago
- Linux system calls.☆209Updated 4 years ago
- Display, extract, and manipulate PSP firmware inside UEFI images☆608Updated last week
- SCP (power management) firmware for sunxi SoCs☆154Updated last year
- ☆211Updated 5 months ago
- 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers☆178Updated this week
- A mirror of TinyBIOS repository☆304Updated 3 months ago
- GUD USB Display☆153Updated 9 months ago
- Use of a Linux initramfs to fully automate the bootstrapping process☆490Updated last week
- mirror of seabios☆374Updated 2 weeks ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆175Updated 2 years ago
- BIOS for Intel 8088 based computers☆518Updated 4 months ago
- A keyboard/touchpad firmware and updater for the Pinebook Pro☆80Updated 3 years ago
- Main RetroBSD Operating System☆344Updated last year
- ☆361Updated 2 years ago
- EFI FileSystem drivers☆518Updated 3 months ago
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆259Updated 2 years ago
- EDK II sample platform branches and tags☆545Updated this week
- ☆79Updated 2 years ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆107Updated last year
- ☆363Updated 3 months ago