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>
14 #include <asm/machdep.h>
21 * list of supported boards
23 static const char * const board[] __initconst = {
31 * Called very early, MMU is off, device-tree isn't unflattened
33 static int __init mpc512x_generic_probe(void)
35 if (!of_device_compatible_match(of_root, board))
43 define_machine(mpc512x_generic) {
44 .name = "MPC512x generic",
45 .probe = mpc512x_generic_probe,
47 .setup_arch = mpc512x_setup_arch,
48 .init_IRQ = mpc512x_init_IRQ,
49 .get_irq = ipic_get_irq,
50 .restart = mpc512x_restart,