Minimum required files for a Raspberry Pi to boot a linux kernel