rockchip: TPL banner should depend on CONFIG_TPL_BANNER_PRINT
[oweals/u-boot.git] / arch / arm / mach-versal /
drwxr-xr-x   ..
-rw-r--r-- 1122 Kconfig
-rw-r--r-- 196 Makefile
-rw-r--r-- 601 clk.c
-rw-r--r-- 2102 cpu.c
drwxr-xr-x - include
-rw-r--r-- 2600 mp.c