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