rockchip: rk3399: enable SPL_SERIAL_SUPPORT and SPL_DRIVERS_MISC_SUPPORT via Kconfig
[oweals/u-boot.git] / arch / arm / mach-highbank /
drwxr-xr-x   ..
-rw-r--r-- 142 Kconfig
-rw-r--r-- 142 Makefile
-rw-r--r-- 692 timer.c