Sources for devicetree files describing the CPU peripherals - View it on GitHub