1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2007,2008 Freescale Semiconductor, Inc. All rights reserved.
5 * Author: John Rigby, <jrigby@freescale.com>
11 #include <linux/kernel.h>
12 #include <linux/of_platform.h>
14 #include <asm/machdep.h>
22 * list of supported boards
24 static const char * const board[] __initconst = {
32 * Called very early, MMU is off, device-tree isn't unflattened
34 static int __init mpc512x_generic_probe(void)
36 if (!of_device_compatible_match(of_root, board))
44 define_machine(mpc512x_generic) {
45 .name = "MPC512x generic",
46 .probe = mpc512x_generic_probe,
48 .setup_arch = mpc512x_setup_arch,
49 .init_IRQ = mpc512x_init_IRQ,
50 .get_irq = ipic_get_irq,
51 .calibrate_decr = generic_calibrate_decr,
52 .restart = mpc512x_restart,