1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Setup code for AT91SAM9
5 * Copyright (C) 2011 Atmel,
6 * 2011 Nicolas Ferre <nicolas.ferre@atmel.com>
10 #include <linux/of_platform.h>
12 #include <asm/mach/arch.h>
13 #include <asm/system_misc.h>
17 static void __init at91sam9_init(void)
19 of_platform_default_populate(NULL, NULL, NULL);
24 static const char *const at91_dt_board_compat[] __initconst = {
29 DT_MACHINE_START(at91sam_dt, "Atmel AT91SAM9")
30 /* Maintainer: Atmel */
31 .init_machine = at91sam9_init,
32 .dt_compat = at91_dt_board_compat,
35 static void __init sam9x60_init(void)
37 of_platform_default_populate(NULL, NULL, NULL);
42 static const char *const sam9x60_dt_board_compat[] __initconst = {
47 DT_MACHINE_START(sam9x60_dt, "Microchip SAM9X60")
48 /* Maintainer: Microchip */
49 .init_machine = sam9x60_init,
50 .dt_compat = sam9x60_dt_board_compat,