videocoreiv
firmware
| videocoreiv | firmware | |
|---|---|---|
| 4 | 47 | |
| 806 | 5,054 | |
| - | 0.7% | |
| 0.0 | 8.7 | |
| about 5 years ago | 5 days ago | |
| Python | C | |
| - | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
videocoreiv
- Assembly coding without OS
- reversing pi 4b (arm64) firmware
- VideoCore IV Processor Manual (Raspberry Pi GPU)
-
Taking a Stand in the War on General-Purpose Computing
Interesting, the VC firmware is ThreadX based, indeed[1]! The number of platforms this runs on is absolutely mind-blowing (from an engineering perspective).
[1] https://github.com/hermanhermitage/videocoreiv
firmware
-
Rick Dangerous image 400 GB does not run properly!? (Noob in Linux and RasPi!)
the usual error is the image was made before the 8gb pi4 was released so is compatible with the 1,2 and 4gb models only without updating - for this error you can grab the latest boot file versions (kernel7l.img, start4.elf and the fixup4.dat are required for pi4) from here - https://github.com/raspberrypi/firmware/tree/master/boot - they go into the /boot partition of the microsd/usb/ssd overwriting the old versions.
- Pi5 can't turn off LEDs
-
Raspberry Pi 5
But oddly enough, they don't support some screen resolutions: https://github.com/raspberrypi/firmware/issues/1202#issuecom...
-
[RPi4] classic install or GenPi64
i went with the classic, you just need their special boot firmware (everything but the kernels, dtbs and overlay folder)
-
Pi4b/4Gb : Is there a workaround to keep WiFi working when booting up from a USB 3 flash drive? Aside from plugging another WiFi dongle in of course.
USB3 and 2.4 GHz Wifi · Issue #1430 · raspberrypi/firmware
-
Issues running agent on Raspberry Pi
OK for anyone else experiencing this problem - seems to be due to a breaking change in Raspberry Pi OS! - https://github.com/raspberrypi/firmware/issues/1795
-
State of CRT RGB output on Raspberry Pi 4?
RetroArch can switch resolution like you said (https://github.com/libretro/RetroArch/pull/11590), and this fixes the bug (https://github.com/raspberrypi/firmware/issues/1357) that the new DRM interface does not work for switching DPI displays (like our SCART hats.
-
POE Fan controller on RPI w/ Ubuntu 22
Based on https://github.com/raspberrypi/firmware/issues/1734 a kernel change may have caused my problem. I will check this tomorrow.
- Solutions for "shimmering" text on old black and white CRT?
-
My remote Pi for my ADSB is going bad
Those happened ~9 seconds after startup and it's a known error, so it's probably fine.
What are some alternatives?
rpi-open-firmware - Open source VPU side bootloader for Raspberry Pi.
ipctool - Simple tool (and library) for checking IP camera hardware
rpi-open-firmware - Open source VPU side bootloader for Raspberry Pi.
pwnagotchi - (⌐■_■) - Deep Reinforcement Learning instrumenting bettercap for WiFi pwning.
rpi4-osdev - Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
Entware - Ultimate repo for embedded devices
java-keyring - Copy of Java Keyring library from bitbucket.org/bpsnervepoint -- with working CI in for osx/linux/windows keystore.
circle - A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
Raspberry_Pi4-B_Assembler - How to code Bare Metal with Assembly language
RPi4 - Raspberry Pi 4 UEFI Firmware Images
wor-flasher - Legal utility that runs on RPiOS to flash another SD card with Windows 10/11
FullPageOS - A raspberrypi distro to display a full page browser on boot