1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Support for 'mpc5200-simple-platform' compatible boards.
6 * Copyright (C) 2007 Semihalf
9 * This code implements support for a simple MPC52xx based boards which
10 * do not need a custom platform specific setup. Such boards are
11 * supported assuming the following:
13 * - GPIO pins are configured by the firmware,
14 * - CDM configuration (clocking) is setup correctly by firmware,
15 * - if the 'fsl,has-wdt' property is present in one of the
16 * gpt nodes, then it is safe to use such gpt to reset the board,
17 * - PCI is supported if enabled in the kernel configuration
18 * and if there is a PCI bus node defined in the device tree.
20 * Boards that are compatible with this generic platform support
21 * are listed in a 'board' table.
27 #include <asm/machdep.h>
28 #include <asm/mpc52xx.h>
31 * Setup the architecture
33 static void __init mpc5200_simple_setup_arch(void)
36 ppc_md.progress("mpc5200_simple_setup_arch()", 0);
38 /* Map important registers from the internal memory map */
39 mpc52xx_map_common_devices();
41 /* Some mpc5200 & mpc5200b related configuration */
42 mpc5200_setup_xlb_arbiter();
45 /* list of the supported boards */
46 static const char *board[] __initdata = {
51 "intercontrol,digsy-mtc",
62 define_machine(mpc5200_simple_platform) {
63 .name = "mpc5200-simple-platform",
65 .setup_arch = mpc5200_simple_setup_arch,
66 .discover_phbs = mpc52xx_setup_pci,
67 .init = mpc52xx_declare_of_platform_devices,
68 .init_IRQ = mpc52xx_init_irq,
69 .get_irq = mpc52xx_get_irq,
70 .restart = mpc52xx_restart,