1// SPDX-License-Identifier: GPL-2.0+ 2/dts-v1/; 3 4/ { 5 #address-cells = <1>; 6 #size-cells = <1>; 7 8 binman { 9 allow-repack; 10 atf-fip { 11 fip-hdr-flags = /bits/ 64 <0x123>; 12 soc-fw { 13 fip-flags = /bits/ 64 <0x123456789abcdef>; 14 filename = "bl31.bin"; 15 }; 16 17 u-boot { 18 fip-uuid = [fc 65 13 92 4a 5b 11 ec 19 94 35 ff 2d 1c fc 79 9c]; 20 }; 21 22 }; 23 24 u-boot { 25 }; 26 27 u-boot-dtb { 28 }; 29 30 fdtmap { 31 }; 32 }; 33}; 34