Thanks a lot for the pointers! I had a deeper look and that is apparently
completely expected behavior that barebox uses the internal device tree for
booting the kernel as long as global.bootm.oftree is not set.
So I somehow misconfigured barebox so that global.bootm.oftree was not set. I
just
Hi,
I made the following observation in my custom Yocto system:
The device tree loaded by the Linux kernel is one that is only available in the
barebox directory, but not available in the kernel sources. In fact, it is
quite similar, but I made some changes to it in the device tree provided to th
