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