Thanks for the explanations and the link. As I wrote it works out of the box when doing a *non* UEFI install. My question, however, is about an installation that uses the RPI UEFI firmware. I tried things like enabling devicetree in the UEFI menu and also what's described in the Peter's link [1], but to no avail. Has anybody managed to get the vc4 stuff working with an UEFI install? Eberhard _______________________________________________ arm mailing list -- arm@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to arm-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/arm@xxxxxxxxxxxxxxxxxxxxxxx
