1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * MPC8360E-RDK board file.
5 * Copyright (c) 2006 Freescale Semiconductor, Inc.
6 * Copyright (c) 2007-2008 MontaVista Software, Inc.
8 * Author: Anton Vorontsov <avorontsov@ru.mvista.com>
11 #include <linux/kernel.h>
12 #include <linux/pci.h>
13 #include <linux/of_platform.h>
19 #include <soc/fsl/qe/qe.h>
20 #include <sysdev/fsl_soc.h>
21 #include <sysdev/fsl_pci.h>
25 machine_device_initcall(mpc836x_rdk
, mpc83xx_declare_of_platform_devices
);
27 static void __init
mpc836x_rdk_setup_arch(void)
33 * Called very early, MMU is off, device-tree isn't unflattened.
35 static int __init
mpc836x_rdk_probe(void)
37 return of_machine_is_compatible("fsl,mpc8360rdk");
40 define_machine(mpc836x_rdk
) {
41 .name
= "MPC836x RDK",
42 .probe
= mpc836x_rdk_probe
,
43 .setup_arch
= mpc836x_rdk_setup_arch
,
44 .init_IRQ
= mpc83xx_ipic_init_IRQ
,
45 .get_irq
= ipic_get_irq
,
46 .restart
= mpc83xx_restart
,
47 .time_init
= mpc83xx_time_init
,
48 .calibrate_decr
= generic_calibrate_decr
,
49 .progress
= udbg_progress
,