Show pagesource Old revisions Backlinks Export to PDF Fold/unfold all Rename Page Platform Files Platform files are files required to support the platform on the OS. boot.ini tweaks, os/fixes (platform package) Mali GPU Driver Binaries