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
,