Sources for devicetree files describing the CPU peripherals