**This document is now historical** - kept for reference to show the problem analysis and solution design. ## The Problem (SOLVED) Raspberry Pi 5's Broadcom VC4 driver does not properly support ...