1 // SPDX-License-Identifier: GPL-2.0-or-later
5 * Copyright (C) 2013 Atmel,
6 * 2013 Ludovic Desroches <ludovic.desroches@atmel.com>
10 #include <linux/of_platform.h>
12 #include <asm/mach/arch.h>
13 #include <asm/mach/map.h>
14 #include <asm/system_misc.h>
18 static void __init sama5_dt_device_init(void)
20 of_platform_default_populate(NULL, NULL, NULL);
24 static const char *const sama5_dt_board_compat[] __initconst = {
29 DT_MACHINE_START(sama5_dt, "Atmel SAMA5")
30 /* Maintainer: Atmel */
31 .init_machine = sama5_dt_device_init,
32 .dt_compat = sama5_dt_board_compat,
35 static const char *const sama5_alt_dt_board_compat[] __initconst = {
40 DT_MACHINE_START(sama5_alt_dt, "Atmel SAMA5")
41 /* Maintainer: Atmel */
42 .init_machine = sama5_dt_device_init,
43 .dt_compat = sama5_alt_dt_board_compat,
47 static void __init sama5d2_init(void)
49 of_platform_default_populate(NULL, NULL, NULL);
53 static const char *const sama5d2_compat[] __initconst = {
58 DT_MACHINE_START(sama5d2, "Atmel SAMA5")
59 /* Maintainer: Atmel */
60 .init_machine = sama5d2_init,
61 .dt_compat = sama5d2_compat,