On Wed, Jun 13, Segher Boessenkool wrote: > The device tree is not a userspace ABI. It is an userspace ABI. Simply because at some point the OS wants to know which platform/boardtype/whatever it is running on.