1 // SPDX-License-Identifier: GPL-2.0-or-later 2 /* 3 * MPC8360E-RDK board file. 4 * 5 * Copyright (c) 2006 Freescale Semiconductor, Inc. 6 * Copyright (c) 2007-2008 MontaVista Software, Inc. 7 * 8 * Author: Anton Vorontsov <avorontsov@ru.mvista.com> 9 */ 10 11 #include <linux/kernel.h> 12 #include <linux/pci.h> 13 #include <linux/of_platform.h> 14 #include <linux/io.h> 15 #include <asm/time.h> 16 #include <asm/ipic.h> 17 #include <asm/udbg.h> 18 #include <soc/fsl/qe/qe.h> 19 #include <sysdev/fsl_soc.h> 20 #include <sysdev/fsl_pci.h> 21 22 #include "mpc83xx.h" 23 24 machine_device_initcall(mpc836x_rdk, mpc83xx_declare_of_platform_devices); 25 26 static void __init mpc836x_rdk_setup_arch(void) 27 { 28 mpc83xx_setup_arch(); 29 } 30 31 define_machine(mpc836x_rdk) { 32 .name = "MPC836x RDK", 33 .compatible = "fsl,mpc8360rdk", 34 .setup_arch = mpc836x_rdk_setup_arch, 35 .discover_phbs = mpc83xx_setup_pci, 36 .init_IRQ = mpc83xx_ipic_init_IRQ, 37 .get_irq = ipic_get_irq, 38 .restart = mpc83xx_restart, 39 .time_init = mpc83xx_time_init, 40 .progress = udbg_progress, 41 }; 42