Zum Glück habe ich mir mal die wichtigsten Befehle für den VDR zusammengeschrieben, das hilft mir jetzt sehr. 
Dabei habe ich gesehen, dass die Karte 2 Partitionen hat, aber anders als beim MiSTerr ist die erste ganz klein mit nur 256 MB mit Fat32, und die große hat den Rest mit 14,6 GB mit Linux. Einfacher wäre es, wenn die Distri nur einen kleinen Linux-Teil hat und den Rest könnte man mit Fat formatieren. Geht bestimmt auch, muss man nur wieder Hand anlegen. 
Ein USB Stick wird doch gemounted - nach /media/usb0. Die Dateien muss man dann nach /usr/Games kopieren.
Trotzdem: Einfach geht anders...
Fall das schonmal jemand hinbekommen hat und mir die Fragen beantworten kann, würde ich mich sehr freuen, da komme ich momentan nicht weiter:
- Wie kann ich den DB9 GPIO Adapter einstellen? (https://github.com/thinghacker/RaspberryPi400-GPIO-DB9)
- Wie bekomme ich saubere 50 Hz mit PAL hin?
- Wo kann ich einstellen, was beim Booten gestartet wird? Man könnte z.B. direkt in den VC-20 oder den Pet booten. Aber wie?
