169_atf_bl31.dts 174 B

12345678910111213141516
  1. // SPDX-License-Identifier: GPL-2.0+
  2. /dts-v1/;
  3. / {
  4. #address-cells = <1>;
  5. #size-cells = <1>;
  6. binman {
  7. size = <16>;
  8. atf-bl31 {
  9. filename = "bl31.bin";
  10. };
  11. };
  12. };