../ Raspberry_Pi_OS_(32-bit).png 28-May-2020 02:39 1752 marketing.tar 27-May-2020 07:44 560K os.json 28-May-2020 02:03 560 partition_setup.sh 27-May-2020 07:44 1055 partitions.json 27-May-2020 07:44 724 release_notes.txt 27-May-2020 07:44 27K