// SPDX-License-Identifier: GPL-2.0+ /dts-v1/; / { binman { u-boot-tpl { }; u-boot-tpl-dtb { }; }; };