100644 blob 6c8773b6617b14ca53c42b0ea9a1ce75aa39ab52	platform.S
100644 blob 7fdcb3ee59bb2b1c77a64c12ee6eb6439ab774f4	platform.h
100644 blob b4cda9b65bfe17dbbe0e75cafefe5dfd83d63c1f	platform.mk