Tom Rini adf32adb70 PowerPC: Update MIP405/MIP405T to use Kconfig better ... Convert CONFIG_MIP405T from SYS_EXTRA_OPTIONS to a real config There are two boards, MIP405 and MIP405T that have a few differences. Start by checking for CONFIG_TARGET_MIP405. Then introduce CONFIG_TARGET_MIP405T and use that not CONFIG_MIP405T. Next, convert also convert the usage of CONFIG_ISO_STRING to be based on Kconfig. Signed-off-by: Tom Rini <trini@konsulko.com>		2016-09-20 09:30:25 -04:00
..
common_util.c	PowerPC: Update MIP405/MIP405T to use Kconfig better	2016-09-20 09:30:25 -04:00
common_util.h	PowerPC: Update MIP405/MIP405T to use Kconfig better	2016-09-20 09:30:25 -04:00
isa.c	Add GPL-2.0+ SPDX-License-Identifier to source files	2013-07-24 09:44:38 -04:00
isa.h	Add GPL-2.0+ SPDX-License-Identifier to source files	2013-07-24 09:44:38 -04:00
kbd.c	Move console definitions into a new console.h file	2015-11-19 20:27:50 -07:00
kbd.h	stdio: Pass device pointer to stdio methods	2014-07-23 14:07:23 +01:00
pci.c	SPDX: fix IBM-pibs license identifier	2013-09-20 10:30:54 -04:00
pci_parts.h	PowerPC: Update MIP405/MIP405T to use Kconfig better	2016-09-20 09:30:25 -04:00
piix4_pci.h	Add GPL-2.0+ SPDX-License-Identifier to source files	2013-07-24 09:44:38 -04:00
usb_uhci.c	Fix spelling of "transferred".	2016-03-22 12:16:16 -04:00
usb_uhci.h	Add GPL-2.0+ SPDX-License-Identifier to source files	2013-07-24 09:44:38 -04:00