Bare metal programming for rpi Based on these trainings :
BCM2837B0
- run make make/make all to build the kernel
- Run make clean to clean the project
- Makefile will try to copy generated kernel8.img and config.txt to an SD card, consider updating the path to the right boot mount of your SD card or Makefile will fail. Nevertheless, it should create necessary output files.