/sys-boot/raspberrypi-firmware/files/
../
raspberrypi-firmware-0_p20130711-cmdline.txt
raspberrypi-firmware-0_p20130711-config.txt
raspberrypi-firmware-0_p20130711-envd