Devicetree
Un file di testo che descrive l'hardware di una scheda, così che lo stesso kernel possa girare su molte schede senza essere ricompilato.
Su un PC il sistema operativo scopre l'hardware da solo tramite PCI e ACPI. Su una scheda embedded, invece, UART, controller I²C e GPIO stanno a indirizzi fissi e nessuno può interrogarli. Per anni Linux ha risolto il problema con un file C per ogni scheda, finché nel 2011 Linus Torvalds perse pubblicamente la pazienza davanti a quel cumulo. ARM passò allora al devicetree, già usato da PowerPC e discendente dell'Open Firmware di Sun.
Il sorgente (.dts) viene compilato da dtc in un blob binario (.dtb) che il bootloader, spesso U-Boot, consegna al kernel all'avvio. Zephyr usa lo stesso formato in fase di build: l'albero diventa macro C e nel firmware finito non resta alcun blob.