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