OK, getting somewhere here, I think...
modinfo for vc4, v3d, etc show them as builtin.
However, there is no evidence of vc4/v3d in /proc/device-tree/...
I've doubled checked that my config.txt is in /boot/firmware/config.txt, and that its contents is:I also tried setting the config file as a buildroot symbol (BR2_PACKAGE_RPI_FIRMWARE_CONFIG_FILE) instead of using an filesystem overlay, but this has no differing effect.
modinfo for vc4, v3d, etc show them as builtin.
However, there is no evidence of vc4/v3d in /proc/device-tree/...
I've doubled checked that my config.txt is in /boot/firmware/config.txt, and that its contents is:
Code:
# Enable audio (loads snd_bcm2835)dtparam=audio=on# Automatically load overlays for detected DSI displaysdisplay_auto_detect=1# Enable DRM VC4 V3D driverdtoverlay=vc4-kms-v3dStatistics: Posted by zerooneone — Wed Dec 10, 2025 11:53 am