// SPDX-License-Identifier: GPL-2.0-or-later1/*2* Setup code for AT91SAM93*4* Copyright (C) 2011 Atmel,5* 2011 Nicolas Ferre <[email protected]>6*/78#include <linux/of.h>9#include <linux/of_platform.h>1011#include <asm/mach/arch.h>12#include <asm/system_misc.h>1314#include "generic.h"1516static void __init at91sam9_init(void)17{18of_platform_default_populate(NULL, NULL, NULL);1920at91sam9_pm_init();21}2223static const char *const at91_dt_board_compat[] __initconst = {24"atmel,at91sam9",25NULL26};2728DT_MACHINE_START(at91sam_dt, "Atmel AT91SAM9")29/* Maintainer: Atmel */30.init_machine = at91sam9_init,31.dt_compat = at91_dt_board_compat,32MACHINE_END333435