1// SPDX-License-Identifier: GPL-2.0+ 2 3/dts-v1/; 4 5/ { 6 #address-cells = <1>; 7 #size-cells = <1>; 8 9 binman { 10 u-boot { 11 }; 12 fit { 13 description = "test-desc"; 14 #address-cells = <1>; 15 fit,fdt-list = "of-list"; 16 17 images { 18 kernel { 19 description = "Vanilla Linux kernel"; 20 type = "kernel"; 21 arch = "ppc"; 22 os = "linux"; 23 compression = "gzip"; 24 load = <00000000>; 25 entry = <00000000>; 26 hash-1 { 27 algo = "crc32"; 28 }; 29 hash-2 { 30 algo = "sha1"; 31 }; 32 u-boot { 33 }; 34 }; 35 @fdt-SEQ { 36 description = "fdt-NAME.dtb"; 37 type = "flat_dt"; 38 compression = "none"; 39 }; 40 }; 41 42 configurations { 43 default = "@config-DEFAULT-SEQ"; 44 @config-SEQ { 45 description = "conf-NAME.dtb"; 46 firmware = "uboot"; 47 loadables = "atf"; 48 fdt = "fdt-SEQ"; 49 }; 50 }; 51 }; 52 u-boot-nodtb { 53 }; 54 }; 55}; 56