1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * Device Tree support for Marvell Berlin SoCs. 4 * 5 * Sebastian Hesselbarth <sebastian.hesselbarth@gmail.com> 6 * 7 * based on GPL'ed 2.6 kernel sources 8 * (c) Marvell International Ltd. 9 */ 10 11 #include <asm/mach/arch.h> 12 13 static const char * const berlin_dt_compat[] = { 14 "marvell,berlin", 15 NULL, 16 }; 17 18 DT_MACHINE_START(BERLIN_DT, "Marvell Berlin") 19 .dt_compat = berlin_dt_compat, 20 /* 21 * with DT probing for L2CCs, berlin_init_machine can be removed. 22 * Note: 88DE3005 (Armada 1500-mini) uses pl310 l2cc 23 */ 24 .l2c_aux_val = 0x30c00000, 25 .l2c_aux_mask = 0xfeffffff, 26 MACHINE_END 27