christinaa / rpi-open-firmware
Open source VPU side bootloader for Raspberry Pi.
☆2Updated 2 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
- Tools and information for the Broadcom VideoCore IV (RaspberryPi)☆834Updated 6 years ago
- Open source VPU side bootloader for Raspberry Pi.☆431Updated last year
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆139Updated 3 years ago
- Raspberry Pi ARM based bare metal examples☆2,734Updated last year
- All CPU and MCU documentation in one place☆1,913Updated 2 years ago
- Fun and Games with the Videocoreiv Quad Processor Units☆247Updated 8 years ago
- A distributed operating system☆1,444Updated 2 years ago
- Build FreeBSD images for RaspberryPi, BeagleBone, PandaBoard, and others.☆615Updated last month
- Simple boot-over-serial bootloader for the Raspberry Pi☆141Updated 4 years ago
- Check whether AMT is enabled and provisioned under Linux☆466Updated 6 years ago
- Debian OS builder☆562Updated this week
- Linux kernel source tree☆429Updated last week
- Message-passing kernel + userspace☆628Updated 10 months ago
- A Z80 retro computer without the retro baggage☆479Updated 7 years ago
- Simple Linux build, bootable under qemu for multiple architectures.☆461Updated 3 months ago
- A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations…☆1,445Updated 2 weeks ago
- OLINUXINO is Open Source / Open Hardware, low cost from EUR 24 Linux Industrial grade Single Board Computer capable to operate -25+85C☆1,373Updated 5 months ago
- Deprecated, new place: https://gitlab.freedesktop.org/lima☆163Updated 6 years ago
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,054Updated last month
- LK embedded kernel☆3,291Updated last month
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,248Updated this week
- A versatile (cross-)toolchain generator.☆2,207Updated this week
- VK driver for the Raspberry Pi (Broadcom Videocore IV)☆1,233Updated 3 years ago
- PKGBUILDs modified to build on Arch Linux ARM☆995Updated this week
- Fun with the Windows Subsystem for Linux (WSL/LXSS)☆867Updated 6 years ago
- Raspberry Pi GPU based bare metal example programs☆106Updated 12 years ago
- FuzixOS: Because Small Is Beautiful☆2,225Updated last week
- A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)☆1,926Updated last week
- My tool for working with Intel Management Engine - RETIRED REPO (see coreboot for new upstream)☆156Updated 6 years ago
- ☆134Updated 2 years ago