Current configuration of t1042rdb was targeted for
printing market, rename it to t1042rdb-pi.
Signed-off-by: Ting Liu <ting.liu@freescale.com>
#@TYPE: Machine
-#@NAME: Freescale T1042RDB
+#@NAME: Freescale T1042RDB-PI
#@SOC: t1042
-#@DESCRIPTION: Machine configuration for running T1042RDB in 64-bit mode
+#@DESCRIPTION: Machine configuration for running T1042RDB-PI in 64-bit mode
#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
require conf/machine/include/e5500-64b.inc
#@TYPE: Machine
-#@NAME: Freescale T1042RDB
+#@NAME: Freescale T1042RDB-PI
#@SOC: t1042
-#@DESCRIPTION: Machine configuration for running T1042RDB in 32-bit mode
+#@DESCRIPTION: Machine configuration for running T1042RDB-PI in 32-bit mode
#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
require conf/machine/include/e5500.inc