/rpi2-debian-stdkernel/

• ../
• .gitignore
• copy-to-sdcard.py
• format-sd-card-do-not-work-gpt.py
• format-sdcard.py
• make-rpi-debootstrap.py
• other_boot_files