You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
peter 7a0812726a Add README.md 6 months ago
Jenkinsfile Initial commit 6 months ago
README.md Add README.md 6 months ago
config Initial commit 6 months ago

README.md

pios-lite

This is a build of 32 bit Raspbian Lite using pi-gen. It's intended to be the base for building custom SD card images for various projects.

Currently, it's just 32-bit support, however 64-bit images are planned.

Issues

No HDMI output on a Raspberry PI 4B with 32-bit image

Add the following to /boot/firmware/config.txt - seems to be an issue thats been around since 2019:

[pi4]
# Enable DRM VC4 V3D driver on top of the dispmanx display stack
#dtoverlay=vc4-fkms-v3d
max_framebuffers=2
hdmi_force_hotplug:0=1
#hdmi_safe=1
hdmi_group:0=1
hdmi_mode:0=4