···6262 Include support for MX31PDK (3DS) platform. This includes specific6363 configurations for the board and its peripherals.64646565+config MACH_MX31_3DS_MXC_NAND_USE_BBT6666+ bool "Make the MXC NAND driver use the in flash Bad Block Table"6767+ depends on MACH_MX31_3DS6868+ depends on MTD_NAND_MXC6969+ help7070+ Enable this if you want that the MXC NAND driver uses the in flash7171+ Bad Block Table to know what blocks are bad instead of scanning the7272+ entire flash looking for bad block markers.7373+6574config MACH_MX31MOBOARD6675 bool "Support mx31moboard platforms (EPFL Mobots group)"6776 select ARCH_MX31···10495config MACH_ARMADILLO5X010596 bool "Support Atmark Armadillo-500 Development Base Board"10697 select ARCH_MX319898+ select MXC_ULPI if USB_ULPI10799 help108100 Include support for Atmark Armadillo-500 platform. This includes109101 specific configurations for the board and its peripherals.
···88 * published by the Free Software Foundation.99 */10101111-#ifndef __ASM_ARCH_MXC_BOARD_MX31PDK_H__1212-#define __ASM_ARCH_MXC_BOARD_MX31PDK_H__1111+#ifndef __ASM_ARCH_MXC_BOARD_MX31_3DS_H__1212+#define __ASM_ARCH_MXC_BOARD_MX31_3DS_H__13131414/* Definitions for components on the Debug board */1515···56565757#define MXC_MAX_EXP_IO_LINES 1658585959-#endif /* __ASM_ARCH_MXC_BOARD_MX31PDK_H__ */5959+#endif /* __ASM_ARCH_MXC_BOARD_MX31_3DS_H__ */