https://www.raspberrypi.com/documentation/computers/processors.html https://datasheets.raspberrypi.com/bcm2835/bcm2835-peripherals.pdf https://datasheets.raspberrypi.com/bcm2836/bcm2836-peripherals.pdf https://github.com/eggman/raspberrypi/tree/master/qemu-raspi2 https://github.com/eggman/FreeRTOS-raspi3/blob/master/Demo/FreeRTOS_tick_config.c