// SPDX-License-Identifier: GPL-2.0+ /* * Copyright (c) 2023, Yixun Lan * */ #include #include int board_init(void) { enable_caches(); return 0; }