Lines Matching +full:board +full:- +full:related
1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Support for 'mpc5200-simple-platform' compatible boards.
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
21 * are listed in a 'board' table.
41 /* Some mpc5200 & mpc5200b related configuration */ in mpc5200_simple_setup_arch()
46 static const char *board[] __initdata = { variable
51 "intercontrol,digsy-mtc",
63 .name = "mpc5200-simple-platform", in define_machine()
64 .compatibles = board, in define_machine()