Moin!
Ich habe das Ganze tatsächlich anders gelöst. Früher konnte man mal mittels eines dt_blob.bin Overlays die GPIO vorkonfigurieren. Das geht auch heute noch, ist mir aber etwas zu komplex. Glücklicherweise kann man die GPIO nun auch in der config.txt vorkonfigurieren (siehe https://www.raspberrypi.org/documentation/…fig-txt/gpio.md). Da ich meine PINs als Output mit Pullup und am besten gleich auf High-Level brauche, habe ich folgende Zeile hinterlegt:
Damit sind die GPIO preboot schon so, wie ich sie haben möchte, da sie bereits vom videocore konfiguriert werden.
Problem gelöst!
Gruß Pascal