christinaa / rpi-open-firmwareLinks
Open source VPU side bootloader for Raspberry Pi.
☆19Updated 3 years 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:
- Tools and information for the Broadcom VideoCore IV (RaspberryPi)☆859Updated 6 years ago
- Open source VPU side bootloader for Raspberry Pi.☆453Updated 4 months ago
- Raspberry Pi ARM based bare metal examples☆2,786Updated 2 years ago
- Raspberry Pi Bare Metal Assembly Programming☆466Updated 4 years ago
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆144Updated 4 years ago
- Raspberry-Pi Bare Metal Programming in C Tutorial☆613Updated 5 years ago
- Simple boot-over-serial bootloader for the Raspberry Pi☆146Updated 5 years ago
- Build FreeBSD images for RaspberryPi, BeagleBone, PandaBoard, and others.☆630Updated 11 months ago
- Fun and Games with the Videocoreiv Quad Processor Units☆254Updated 9 years ago
- A bare metal USB driver for Raspberry Pi 1-3 written in C☆294Updated 2 years ago
- Check whether AMT is enabled and provisioned under Linux☆476Updated 7 years ago
- Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)☆423Updated 4 years ago
- Linux kernel source tree☆438Updated last month
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,071Updated last year
- Simple Linux build, bootable under qemu for multiple architectures.☆454Updated last year
- A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations…☆1,526Updated last week
- Deprecated, new place: https://gitlab.freedesktop.org/lima☆164Updated 7 years ago
- Chadderz's Simple USB Driver for Raspberry Pi☆211Updated 5 years ago
- All CPU and MCU documentation in one place☆1,971Updated 3 years ago
- Variant of 4.4BSD Unix for microcontrollers☆327Updated last year
- Pine64 Linux build scripts, tools and instructions☆241Updated 5 years ago
- A Z80 retro computer without the retro baggage☆487Updated 8 years ago
- Linux kernel fork with PS4 support (work in progress)☆763Updated 6 years ago
- Experimenting with bare metal coding on a Raspberry Pi☆167Updated 13 years ago
- Linux kernel source tree☆141Updated last year
- Genode OS Framework☆1,196Updated this week
- A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)☆2,164Updated last week
- A second stage bootloader for the Raspberry Pi☆147Updated 3 years ago
- A Basic (non Linux) C++ Kernel for Raspberry Pi.☆94Updated 10 years ago
- Debian OS builder☆668Updated this week