1 /* 2 * Device Tree support for Marvell Berlin SoCs. 3 * 4 * Sebastian Hesselbarth <sebastian.hesselbarth@gmail.com> 5 * 6 * based on GPL'ed 2.6 kernel sources 7 * (c) Marvell International Ltd. 8 * 9 * This file is licensed under the terms of the GNU General Public 10 * License version 2. This program is licensed "as is" without any 11 * warranty of any kind, whether express or implied. 12 */ 13 14 #include <linux/init.h> 15 #include <linux/io.h> 16 #include <linux/kernel.h> 17 #include <linux/of_platform.h> 18 #include <asm/hardware/cache-l2x0.h> 19 #include <asm/mach/arch.h> 20 21 static const char * const berlin_dt_compat[] = { 22 "marvell,berlin", 23 NULL, 24 }; 25 26 DT_MACHINE_START(BERLIN_DT, "Marvell Berlin") 27 .dt_compat = berlin_dt_compat, 28 /* 29 * with DT probing for L2CCs, berlin_init_machine can be removed. 30 * Note: 88DE3005 (Armada 1500-mini) uses pl310 l2cc 31 */ 32 .l2c_aux_val = 0x30c00000, 33 .l2c_aux_mask = 0xfeffffff, 34 MACHINE_END 35