rpi-kernel Resources https://wiki.osdev.org/Raspberry_Pi_Bare_Bones https://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/ https://github.com/mrvn/raspbootin https://elinux.org/RPi_BCM2835_GPIOs