Hallo zusammen!

Hab mal eine kurze Frage:

Welche Endung muss eine ppcboot Datei haben?

Danke!