Microblaze Linux device tree встроенное в образ ядра., Не могу понять взаимодействие ядра и Device tree. Опции

[Олег Гаврильченк...]

Используется отладочная плата Xilinx ML605(Virtex-6). Средства разработки ISE 14.7. На сайте Xilinx есть готовый пакет Petalinux для ML605. В нем проект EDK, bit-файл, fs-boot, u-boot, device-tree и Linux ядро в виде uzImage и ELF-файла. Если я загружаю в ПЛИС конфигурацию, затем подключаюсь по JTAG отладчику xmd и загружаю через него ELF файл ядра Linux, то все работает, устройства(UART) определяются и работаю. Но они же должны определяться только при наличии device tree? Я его специально не загружал. Получается оно было в ELF-файла? Однако, нигде в документации я не нашел, как добавить device tree blob в ELF файл Linux ядра. Если кто-то разбирается в этом, пожалуйста, объясните.