// SPDX-License-Identifier: GPL-2.0+ | |
/dts-v1/; | |
/ { | |
#address-cells = <1>; | |
#size-cells = <1>; | |
binman { | |
atf-fip { | |
fip-hdr-flags = /bits/ 64 <0x123>; | |
soc-fw { | |
fip-flags = /bits/ 64 <0x123456789abcdef>; | |
filename = "bl31.bin"; | |
}; | |
u-boot { | |
fip-uuid = [fc 65 13 92 4a 5b 11 ec | |
94 35 ff 2d 1c fc 79 9c]; | |
}; | |
}; | |
fdtmap { | |
}; | |
}; | |
}; |