// SPDX-License-Identifier: GPL-2.0+ /dts-v1/; #include "split_elf.dts" &atf { fit,something = "bad"; };