[U-Boot] [PATCH 4/7] rockchip: Kconfig: enable TPL support for rk3328

[Kever Yang]

On 2019/8/1 上午12:01, Matwey V. Kornilov wrote:
> From: Kever Yang <kever.yang at rock-chips.com>
>
> Enable TPL support and some related option in Kconfig.
>
> Signed-off-by: Kever Yang <kever.yang at rock-chips.com>
> [cherry picked from commit https://github.com/rockchip-linux/u-boot/commit/430b01462bf3f24aaf7920ae2587a6943c39ab5d with minor modifications]
> Signed-off-by: Matwey V. Kornilov <matwey.kornilov at gmail.com>
> ---
>   arch/arm/mach-rockchip/Kconfig | 21 +++++++++++++++++++++
>   1 file changed, 21 insertions(+)
>
> diff --git a/arch/arm/mach-rockchip/Kconfig b/arch/arm/mach-rockchip/Kconfig
> index e337d06b99..22cbb3a9a4 100644
> --- a/arch/arm/mach-rockchip/Kconfig
> +++ b/arch/arm/mach-rockchip/Kconfig
> @@ -110,9 +110,14 @@ config ROCKCHIP_RK3328
>   	select ARM64
>   	select SUPPORT_SPL
>   	select SPL
> +	select SUPPORT_TPL
> +	select TPL
> +	select TPL_NEEDS_SEPARATE_TEXT_BASE if TPL
> +	select TPL_NEEDS_SEPARATE_STACK if TPL
>   	imply ROCKCHIP_COMMON_BOARD
>   	imply SPL_ROCKCHIP_COMMON_BOARD
>   	imply SPL_SERIAL_SUPPORT
> +	imply TPL_SERIAL_SUPPORT
>   	imply SPL_SEPARATE_BSS
>   	select ENABLE_ARM_SOC_BOOT0_HOOK
>   	select DEBUG_UART_BOARD_INIT
> @@ -124,6 +129,22 @@ config ROCKCHIP_RK3328
>   	  and video codec support. Peripherals include Gigabit Ethernet,
>   	  USB2 host and OTG, SDIO, I2S, UARTs, SPI, I2C and PWMs.
>   
> +if ROCKCHIP_RK3328
> +
> +config TPL_LDSCRIPT
> +	default "arch/arm/mach-rockchip/u-boot-tpl-v8.lds"
> +
> +config TPL_TEXT_BASE
> +        default 0xff091000
> +
> +config TPL_MAX_SIZE
> +        default 28672
> +
> +config TPL_STACK
> +        default 0xff098000
> +
> +endif
> +

These option for RK3328 should go to arch/arm/mach-rockchip/rk3328/Kconfig


Thanks,

- Kever

>   config ROCKCHIP_RK3368
>   	bool "Support Rockchip RK3368"
>   	select ARM64