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