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