I just got my raspberry pi. After trying the available distros, I want to build my tiny custom firmware. (not a full distro). I downloaded everything from github, and I have a doublt about the boot directory.
Why there are so many different .elf files?
About the mkimg python scripts, is it necesary to use the first32k.bin file? I supose it contains the boot loader, or only needed firmware?