/* * (C) Copyright 2015 * Kamil Lulko, * * SPDX-License-Identifier: GPL-2.0+ */ #include #include #include #include u32 get_cpu_rev(void) { return 0; } int arch_cpu_init(void) { configure_clocks(); return 0; } void s_init(void) { }