WSL2-Linux-Kernel/include/soc/bcm2835
..
raspberrypi-firmware.h