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 | |