board/warp7/warp7.c

1 // SPDX-License-Identifier: GPL-2.0+
8 #include <asm/arch/imx-regs.h>
9 #include <asm/arch/mx7-pins.h>
12 #include <asm/mach-imx/hab.h>
13 #include <asm/mach-imx/iomux-v3.h>
32 	gd->ram_size = PHYS_SDRAM_SIZE;  in dram_init()
36 		gd->ram_size -= CONFIG_OPTEE_TZDRAM_SIZE;  in dram_init()
70 	if (ret == -ENODEV)  in power_init_board()
102 	gd->bd->bi_boot_params = PHYS_SDRAM + 0x100;  in board_init()
112 		mode = "secure";  in checkboard()
114 		mode = "non-secure";  in checkboard()
120 	optee_start = optee_end - CONFIG_OPTEE_TZDRAM_SIZE;  in checkboard()
122 	printf("Board: WARP7 in %s mode OPTEE DRAM 0x%08lx-0x%08lx\n",  in checkboard()
152 	clrsetbits_le16(&wdog->wcr, 0, 0x10);  in board_late_init()
162 	/* Set serial# standard environment variable based on OTP settings */  in board_late_init()
164 	snprintf(serial_string, sizeof(serial_string), "WaRP7-0x%08x%08x",  in board_late_init()