1 // SPDX-License-Identifier: GPL-2.0 1 2 /* 3 * Device Tree support for Marvell Berlin SoCs 4 * 5 * Sebastian Hesselbarth <sebastian.hesselbart 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_i 22 * Note: 88DE3005 (Armada 1500-mini) u 23 */ 24 .l2c_aux_val = 0x30c00000, 25 .l2c_aux_mask = 0xfeffffff, 26 MACHINE_END 27
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.