Yes, that's a devicetree. Those can be tacked onto the kernel image or dynamical...

		formerly_proven on July 5, 2021 \| parent \| context \| favorite \| on: XiangShan open-source 64-bit RISC-V processor to r... Yes, that's a devicetree. Those can be tacked onto the kernel image or dynamically loaded from the chip's firmware (which most likely gets it from the firmware flash).