1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright 2018 NXP 4 */ 5 6#include <config.h> 7 8/ { 9 binman { 10 filename = "u-boot-with-dtb.bin"; 11 skip-at-start = <CONFIG_SYS_TEXT_BASE>; 12 sort-by-offset; 13 pad-byte = <0xff>; 14 size = <CONFIG_SYS_MONITOR_LEN>; 15 16 u-boot-with-ucode-ptr { 17 offset = <CONFIG_SYS_TEXT_BASE>; 18 optional-ucode; 19 }; 20 21 u-boot-dtb-with-ucode { 22#ifdef CONFIG_MPC85xx 23 align = <256>; 24#endif 25 }; 26#ifdef CONFIG_MPC85XX_HAVE_RESET_VECTOR 27 powerpc-mpc85xx-bootpg-resetvec { 28 offset = <(CONFIG_RESET_VECTOR_ADDRESS - 0xffc)>; 29 }; 30#endif 31 }; 32}; 33