// SPDX-License-Identifier: GPL-2.0+ /* * (C) Copyright 2015 Google, Inc */ #include #include #include #include #include #include #include #include __weak int rk_board_late_init(void) { return 0; } int board_late_init(void) { setup_boot_mode(); return rk_board_late_init(); } int board_init(void) { return 0; } #if !CONFIG_IS_ENABLED(SYS_DCACHE_OFF) void enable_caches(void) { /* Enable D-cache. I-cache is already enabled in start.S */ dcache_enable(); } #endif