arch/arm/mach-mx3/mach-mx31moboard.c

   1 /*
   2  *  Copyright (C) 2008 Valentin Longchamp, EPFL Mobots group
   3  *
   4  * This program is free software; you can redistribute it and/or modify
   5  * it under the terms of the GNU General Public License as published by
   6  * the Free Software Foundation; either version 2 of the License, or
   7  * (at your option) any later version.
   8  *
   9  * This program is distributed in the hope that it will be useful,
  10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12  * GNU General Public License for more details.
  13  *
  14  * You should have received a copy of the GNU General Public License
  15  * along with this program; if not, write to the Free Software
  16  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  17  */
  18
  19 #include <linux/delay.h>
  20 #include <linux/dma-mapping.h>
  21 #include <linux/fsl_devices.h>
  22 #include <linux/gfp.h>
  23 #include <linux/gpio.h>
  24 #include <linux/init.h>
  25 #include <linux/interrupt.h>
  26 #include <linux/leds.h>
  27 #include <linux/memory.h>
  28 #include <linux/mtd/physmap.h>
  29 #include <linux/mtd/partitions.h>
  30 #include <linux/platform_device.h>
  31 #include <linux/regulator/machine.h>
  32 #include <linux/mfd/mc13783.h>
  33 #include <linux/spi/spi.h>
  34 #include <linux/types.h>
  35
  36 #include <linux/usb/otg.h>
  37 #include <linux/usb/ulpi.h>
  38
  39 #include <asm/mach-types.h>
  40 #include <asm/mach/arch.h>
  41 #include <asm/mach/time.h>
  42 #include <asm/mach/map.h>
  43 #include <mach/board-mx31moboard.h>
  44 #include <mach/common.h>
  45 #include <mach/hardware.h>
  46 #include <mach/imx-uart.h>
  47 #include <mach/iomux-mx3.h>
  48 #include <mach/ipu.h>
  49 #include <mach/i2c.h>
  50 #include <mach/mmc.h>
  51 #include <mach/mxc_ehci.h>
  52 #include <mach/mx3_camera.h>
  53 #include <mach/spi.h>
  54 #include <mach/ulpi.h>
  55
  56 #include "devices.h"
  57
  58 static unsigned int moboard_pins[] = {
  59         /* UART0 */
  60         MX31_PIN_TXD1__TXD1, MX31_PIN_RXD1__RXD1,
  61         MX31_PIN_CTS1__GPIO2_7,
  62         /* UART4 */
  63         MX31_PIN_PC_RST__CTS5, MX31_PIN_PC_VS2__RTS5,
  64         MX31_PIN_PC_BVD2__TXD5, MX31_PIN_PC_BVD1__RXD5,
  65         /* I2C0 */
  66         MX31_PIN_I2C_DAT__I2C1_SDA, MX31_PIN_I2C_CLK__I2C1_SCL,
  67         /* I2C1 */
  68         MX31_PIN_DCD_DTE1__I2C2_SDA, MX31_PIN_RI_DTE1__I2C2_SCL,
  69         /* SDHC1 */
  70         MX31_PIN_SD1_DATA3__SD1_DATA3, MX31_PIN_SD1_DATA2__SD1_DATA2,
  71         MX31_PIN_SD1_DATA1__SD1_DATA1, MX31_PIN_SD1_DATA0__SD1_DATA0,
  72         MX31_PIN_SD1_CLK__SD1_CLK, MX31_PIN_SD1_CMD__SD1_CMD,
  73         MX31_PIN_ATA_CS0__GPIO3_26, MX31_PIN_ATA_CS1__GPIO3_27,
  74         /* USB reset */
  75         MX31_PIN_GPIO1_0__GPIO1_0,
  76         /* USB OTG */
  77         MX31_PIN_USBOTG_DATA0__USBOTG_DATA0,
  78         MX31_PIN_USBOTG_DATA1__USBOTG_DATA1,
  79         MX31_PIN_USBOTG_DATA2__USBOTG_DATA2,
  80         MX31_PIN_USBOTG_DATA3__USBOTG_DATA3,
  81         MX31_PIN_USBOTG_DATA4__USBOTG_DATA4,
  82         MX31_PIN_USBOTG_DATA5__USBOTG_DATA5,
  83         MX31_PIN_USBOTG_DATA6__USBOTG_DATA6,
  84         MX31_PIN_USBOTG_DATA7__USBOTG_DATA7,
  85         MX31_PIN_USBOTG_CLK__USBOTG_CLK, MX31_PIN_USBOTG_DIR__USBOTG_DIR,
  86         MX31_PIN_USBOTG_NXT__USBOTG_NXT, MX31_PIN_USBOTG_STP__USBOTG_STP,
  87         MX31_PIN_USB_OC__GPIO1_30,
  88         /* USB H2 */
  89         MX31_PIN_USBH2_DATA0__USBH2_DATA0,
  90         MX31_PIN_USBH2_DATA1__USBH2_DATA1,
  91         MX31_PIN_STXD3__USBH2_DATA2, MX31_PIN_SRXD3__USBH2_DATA3,
  92         MX31_PIN_SCK3__USBH2_DATA4, MX31_PIN_SFS3__USBH2_DATA5,
  93         MX31_PIN_STXD6__USBH2_DATA6, MX31_PIN_SRXD6__USBH2_DATA7,
  94         MX31_PIN_USBH2_CLK__USBH2_CLK, MX31_PIN_USBH2_DIR__USBH2_DIR,
  95         MX31_PIN_USBH2_NXT__USBH2_NXT, MX31_PIN_USBH2_STP__USBH2_STP,
  96         MX31_PIN_SCK6__GPIO1_25,
  97         /* LEDs */
  98         MX31_PIN_SVEN0__GPIO2_0, MX31_PIN_STX0__GPIO2_1,
  99         MX31_PIN_SRX0__GPIO2_2, MX31_PIN_SIMPD0__GPIO2_3,
 100         /* SPI1 */
 101         MX31_PIN_CSPI2_MOSI__MOSI, MX31_PIN_CSPI2_MISO__MISO,
 102         MX31_PIN_CSPI2_SCLK__SCLK, MX31_PIN_CSPI2_SPI_RDY__SPI_RDY,
 103         MX31_PIN_CSPI2_SS0__SS0, MX31_PIN_CSPI2_SS2__SS2,
 104         /* Atlas IRQ */
 105         MX31_PIN_GPIO1_3__GPIO1_3,
 106         /* SPI2 */
 107         MX31_PIN_CSPI3_MOSI__MOSI, MX31_PIN_CSPI3_MISO__MISO,
 108         MX31_PIN_CSPI3_SCLK__SCLK, MX31_PIN_CSPI3_SPI_RDY__SPI_RDY,
 109         MX31_PIN_CSPI2_SS1__CSPI3_SS1,
 110 };
 111
 112 static struct physmap_flash_data mx31moboard_flash_data = {
 113         .width          = 2,
 114 };
 115
 116 static struct resource mx31moboard_flash_resource = {
 117         .start  = 0xa0000000,
 118         .end    = 0xa1ffffff,
 119         .flags  = IORESOURCE_MEM,
 120 };
 121
 122 static struct platform_device mx31moboard_flash = {
 123         .name   = "physmap-flash",
 124         .id     = 0,
 125         .dev    = {
 126                 .platform_data  = &mx31moboard_flash_data,
 127         },
 128         .resource = &mx31moboard_flash_resource,
 129         .num_resources = 1,
 130 };
 131
 132 static int moboard_uart0_init(struct platform_device *pdev)
 133 {
 134         gpio_request(IOMUX_TO_GPIO(MX31_PIN_CTS1), "uart0-cts-hack");
 135         gpio_direction_output(IOMUX_TO_GPIO(MX31_PIN_CTS1), 0);
 136         return 0;
 137 }
 138
 139 static struct imxuart_platform_data uart0_pdata = {
 140         .init = moboard_uart0_init,
 141 };
 142
 143 static struct imxuart_platform_data uart4_pdata = {
 144         .flags = IMXUART_HAVE_RTSCTS,
 145 };
 146
 147 static struct imxi2c_platform_data moboard_i2c0_pdata = {
 148         .bitrate = 400000,
 149 };
 150
 151 static struct imxi2c_platform_data moboard_i2c1_pdata = {
 152         .bitrate = 100000,
 153 };
 154
 155 static int moboard_spi1_cs[] = {
 156         MXC_SPI_CS(0),
 157         MXC_SPI_CS(2),
 158 };
 159
 160 static struct spi_imx_master moboard_spi1_master = {
 161         .chipselect     = moboard_spi1_cs,
 162         .num_chipselect = ARRAY_SIZE(moboard_spi1_cs),
 163 };
 164
 165 static struct regulator_consumer_supply sdhc_consumers[] = {
 166         {
 167                 .dev    = &mxcsdhc_device0.dev,
 168                 .supply = "sdhc0_vcc",
 169         },
 170         {
 171                 .dev    = &mxcsdhc_device1.dev,
 172                 .supply = "sdhc1_vcc",
 173         },
 174 };
 175
 176 static struct regulator_init_data sdhc_vreg_data = {
 177         .constraints = {
 178                 .min_uV = 2700000,
 179                 .max_uV = 3000000,
 180                 .valid_ops_mask = REGULATOR_CHANGE_VOLTAGE |
 181                         REGULATOR_CHANGE_MODE | REGULATOR_CHANGE_STATUS,
 182                 .valid_modes_mask = REGULATOR_MODE_NORMAL |
 183                         REGULATOR_MODE_FAST,
 184                 .always_on = 0,
 185                 .boot_on = 1,
 186         },
 187         .num_consumer_supplies = ARRAY_SIZE(sdhc_consumers),
 188         .consumer_supplies = sdhc_consumers,
 189 };
 190
 191 static struct regulator_consumer_supply cam_consumers[] = {
 192         {
 193                 .dev    = &mx3_camera.dev,
 194                 .supply = "cam_vcc",
 195         },
 196 };
 197
 198 static struct regulator_init_data cam_vreg_data = {
 199         .constraints = {
 200                 .min_uV = 2700000,
 201                 .max_uV = 3000000,
 202                 .valid_ops_mask = REGULATOR_CHANGE_VOLTAGE |
 203                         REGULATOR_CHANGE_MODE | REGULATOR_CHANGE_STATUS,
 204                 .valid_modes_mask = REGULATOR_MODE_NORMAL |
 205                         REGULATOR_MODE_FAST,
 206                 .always_on = 0,
 207                 .boot_on = 1,
 208         },
 209         .num_consumer_supplies = ARRAY_SIZE(cam_consumers),
 210         .consumer_supplies = cam_consumers,
 211 };
 212
 213 static struct mc13783_regulator_init_data moboard_regulators[] = {
 214         {
 215                 .id = MC13783_REGU_VMMC1,
 216                 .init_data = &sdhc_vreg_data,
 217         },
 218         {
 219                 .id = MC13783_REGU_VCAM,
 220                 .init_data = &cam_vreg_data,
 221         },
 222 };
 223
 224 static struct mc13783_platform_data moboard_pmic = {
 225         .regulators = moboard_regulators,
 226         .num_regulators = ARRAY_SIZE(moboard_regulators),
 227         .flags = MC13783_USE_REGULATOR | MC13783_USE_RTC |
 228                 MC13783_USE_ADC,
 229 };
 230
 231 static struct spi_board_info moboard_spi_board_info[] __initdata = {
 232         {
 233                 .modalias = "mc13783",
 234                 .irq = IOMUX_TO_IRQ(MX31_PIN_GPIO1_3),
 235                 .max_speed_hz = 300000,
 236                 .bus_num = 1,
 237                 .chip_select = 0,
 238                 .platform_data = &moboard_pmic,
 239                 .mode = SPI_CS_HIGH,
 240         },
 241 };
 242
 243 static int moboard_spi2_cs[] = {
 244         MXC_SPI_CS(1),
 245 };
 246
 247 static struct spi_imx_master moboard_spi2_master = {
 248         .chipselect     = moboard_spi2_cs,
 249         .num_chipselect = ARRAY_SIZE(moboard_spi2_cs),
 250 };
 251
 252 #define SDHC1_CD IOMUX_TO_GPIO(MX31_PIN_ATA_CS0)
 253 #define SDHC1_WP IOMUX_TO_GPIO(MX31_PIN_ATA_CS1)
 254
 255 static int moboard_sdhc1_get_ro(struct device *dev)
 256 {
 257         return !gpio_get_value(SDHC1_WP);
 258 }
 259
 260 static int moboard_sdhc1_init(struct device *dev, irq_handler_t detect_irq,
 261                 void *data)
 262 {
 263         int ret;
 264
 265         ret = gpio_request(SDHC1_CD, "sdhc-detect");
 266         if (ret)
 267                 return ret;
 268
 269         gpio_direction_input(SDHC1_CD);
 270
 271         ret = gpio_request(SDHC1_WP, "sdhc-wp");
 272         if (ret)
 273                 goto err_gpio_free;
 274         gpio_direction_input(SDHC1_WP);
 275
 276         ret = request_irq(gpio_to_irq(SDHC1_CD), detect_irq,
 277                 IRQF_TRIGGER_RISING | IRQF_TRIGGER_FALLING,
 278                 "sdhc1-card-detect", data);
 279         if (ret)
 280                 goto err_gpio_free_2;
 281
 282         return 0;
 283
 284 err_gpio_free_2:
 285         gpio_free(SDHC1_WP);
 286 err_gpio_free:
 287         gpio_free(SDHC1_CD);
 288
 289         return ret;
 290 }
 291
 292 static void moboard_sdhc1_exit(struct device *dev, void *data)
 293 {
 294         free_irq(gpio_to_irq(SDHC1_CD), data);
 295         gpio_free(SDHC1_WP);
 296         gpio_free(SDHC1_CD);
 297 }
 298
 299 static struct imxmmc_platform_data sdhc1_pdata = {
 300         .get_ro = moboard_sdhc1_get_ro,
 301         .init   = moboard_sdhc1_init,
 302         .exit   = moboard_sdhc1_exit,
 303 };
 304
 305 /*
 306  * this pin is dedicated for all mx31moboard systems, so we do it here
 307  */
 308 #define USB_RESET_B     IOMUX_TO_GPIO(MX31_PIN_GPIO1_0)
 309 #define USB_PAD_CFG (PAD_CTL_DRV_MAX | PAD_CTL_SRE_FAST | PAD_CTL_HYS_CMOS | \
 310                       PAD_CTL_ODE_CMOS)
 311
 312 #define OTG_EN_B IOMUX_TO_GPIO(MX31_PIN_USB_OC)
 313 #define USBH2_EN_B IOMUX_TO_GPIO(MX31_PIN_SCK6)
 314
 315 static void usb_xcvr_reset(void)
 316 {
 317         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA0, USB_PAD_CFG | PAD_CTL_100K_PD);
 318         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA1, USB_PAD_CFG | PAD_CTL_100K_PD);
 319         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA2, USB_PAD_CFG | PAD_CTL_100K_PD);
 320         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA3, USB_PAD_CFG | PAD_CTL_100K_PD);
 321         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA4, USB_PAD_CFG | PAD_CTL_100K_PD);
 322         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA5, USB_PAD_CFG | PAD_CTL_100K_PD);
 323         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA6, USB_PAD_CFG | PAD_CTL_100K_PD);
 324         mxc_iomux_set_pad(MX31_PIN_USBOTG_DATA7, USB_PAD_CFG | PAD_CTL_100K_PD);
 325         mxc_iomux_set_pad(MX31_PIN_USBOTG_CLK, USB_PAD_CFG | PAD_CTL_100K_PU);
 326         mxc_iomux_set_pad(MX31_PIN_USBOTG_DIR, USB_PAD_CFG | PAD_CTL_100K_PU);
 327         mxc_iomux_set_pad(MX31_PIN_USBOTG_NXT, USB_PAD_CFG | PAD_CTL_100K_PU);
 328         mxc_iomux_set_pad(MX31_PIN_USBOTG_STP, USB_PAD_CFG | PAD_CTL_100K_PU);
 329
 330         mxc_iomux_set_gpr(MUX_PGP_UH2, true);
 331         mxc_iomux_set_pad(MX31_PIN_USBH2_CLK, USB_PAD_CFG | PAD_CTL_100K_PU);
 332         mxc_iomux_set_pad(MX31_PIN_USBH2_DIR, USB_PAD_CFG | PAD_CTL_100K_PU);
 333         mxc_iomux_set_pad(MX31_PIN_USBH2_NXT, USB_PAD_CFG | PAD_CTL_100K_PU);
 334         mxc_iomux_set_pad(MX31_PIN_USBH2_STP, USB_PAD_CFG | PAD_CTL_100K_PU);
 335         mxc_iomux_set_pad(MX31_PIN_USBH2_DATA0, USB_PAD_CFG | PAD_CTL_100K_PD);
 336         mxc_iomux_set_pad(MX31_PIN_USBH2_DATA1, USB_PAD_CFG | PAD_CTL_100K_PD);
 337         mxc_iomux_set_pad(MX31_PIN_SRXD6, USB_PAD_CFG | PAD_CTL_100K_PD);
 338         mxc_iomux_set_pad(MX31_PIN_STXD6, USB_PAD_CFG | PAD_CTL_100K_PD);
 339         mxc_iomux_set_pad(MX31_PIN_SFS3, USB_PAD_CFG | PAD_CTL_100K_PD);
 340         mxc_iomux_set_pad(MX31_PIN_SCK3, USB_PAD_CFG | PAD_CTL_100K_PD);
 341         mxc_iomux_set_pad(MX31_PIN_SRXD3, USB_PAD_CFG | PAD_CTL_100K_PD);
 342         mxc_iomux_set_pad(MX31_PIN_STXD3, USB_PAD_CFG | PAD_CTL_100K_PD);
 343
 344         gpio_request(OTG_EN_B, "usb-udc-en");
 345         gpio_direction_output(OTG_EN_B, 0);
 346         gpio_request(USBH2_EN_B, "usbh2-en");
 347         gpio_direction_output(USBH2_EN_B, 0);
 348
 349         gpio_request(USB_RESET_B, "usb-reset");
 350         gpio_direction_output(USB_RESET_B, 0);
 351         mdelay(1);
 352         gpio_set_value(USB_RESET_B, 1);
 353         mdelay(1);
 354 }
 355
 356 static struct fsl_usb2_platform_data usb_pdata = {
 357         .operating_mode = FSL_USB2_DR_DEVICE,
 358         .phy_mode       = FSL_USB2_PHY_ULPI,
 359 };
 360
 361 #if defined(CONFIG_USB_ULPI)
 362
 363 static struct mxc_usbh_platform_data usbh2_pdata = {
 364         .portsc = MXC_EHCI_MODE_ULPI | MXC_EHCI_UTMI_8BIT,
 365         .flags  = MXC_EHCI_POWER_PINS_ENABLED,
 366 };
 367
 368 static int __init moboard_usbh2_init(void)
 369 {
 370         usbh2_pdata.otg = otg_ulpi_create(&mxc_ulpi_access_ops,
 371                         USB_OTG_DRV_VBUS | USB_OTG_DRV_VBUS_EXT);
 372
 373         return mxc_register_device(&mxc_usbh2, &usbh2_pdata);
 374 }
 375 #else
 376 static inline int moboard_usbh2_init(void) { return 0; }
 377 #endif
 378
 379
 380 static struct gpio_led mx31moboard_leds[] = {
 381         {
 382                 .name   = "coreboard-led-0:red:running",
 383                 .default_trigger = "heartbeat",
 384                 .gpio   = IOMUX_TO_GPIO(MX31_PIN_SVEN0),
 385         }, {
 386                 .name   = "coreboard-led-1:red",
 387                 .gpio   = IOMUX_TO_GPIO(MX31_PIN_STX0),
 388         }, {
 389                 .name   = "coreboard-led-2:red",
 390                 .gpio   = IOMUX_TO_GPIO(MX31_PIN_SRX0),
 391         }, {
 392                 .name   = "coreboard-led-3:red",
 393                 .gpio   = IOMUX_TO_GPIO(MX31_PIN_SIMPD0),
 394         },
 395 };
 396
 397 static struct gpio_led_platform_data mx31moboard_led_pdata = {
 398         .num_leds       = ARRAY_SIZE(mx31moboard_leds),
 399         .leds           = mx31moboard_leds,
 400 };
 401
 402 static struct platform_device mx31moboard_leds_device = {
 403         .name   = "leds-gpio",
 404         .id     = -1,
 405         .dev    = {
 406                 .platform_data = &mx31moboard_led_pdata,
 407         },
 408 };
 409
 410 static struct ipu_platform_data mx3_ipu_data = {
 411         .irq_base = MXC_IPU_IRQ_START,
 412 };
 413
 414 static struct platform_device *devices[] __initdata = {
 415         &mx31moboard_flash,
 416         &mx31moboard_leds_device,
 417 };
 418
 419 static struct mx3_camera_pdata camera_pdata = {
 420         .dma_dev        = &mx3_ipu.dev,
 421         .flags          = MX3_CAMERA_DATAWIDTH_8 | MX3_CAMERA_DATAWIDTH_10,
 422         .mclk_10khz     = 4800,
 423 };
 424
 425 #define CAMERA_BUF_SIZE (4*1024*1024)
 426
 427 static int __init mx31moboard_cam_alloc_dma(const size_t buf_size)
 428 {
 429         dma_addr_t dma_handle;
 430         void *buf;
 431         int dma;
 432
 433         if (buf_size < 2 * 1024 * 1024)
 434                 return -EINVAL;
 435
 436         buf = dma_alloc_coherent(NULL, buf_size, &dma_handle, GFP_KERNEL);
 437         if (!buf) {
 438                 pr_err("%s: cannot allocate camera buffer-memory\n", __func__);
 439                 return -ENOMEM;
 440         }
 441
 442         memset(buf, 0, buf_size);
 443
 444         dma = dma_declare_coherent_memory(&mx3_camera.dev,
 445                                         dma_handle, dma_handle, buf_size,
 446                                         DMA_MEMORY_MAP | DMA_MEMORY_EXCLUSIVE);
 447
 448         /* The way we call dma_declare_coherent_memory only a malloc can fail */
 449         return dma & DMA_MEMORY_MAP ? 0 : -ENOMEM;
 450 }
 451
 452 static int mx31moboard_baseboard;
 453 core_param(mx31moboard_baseboard, mx31moboard_baseboard, int, 0444);
 454
 455 /*
 456  * Board specific initialization.
 457  */
 458 static void __init mxc_board_init(void)
 459 {
 460         mxc_iomux_setup_multiple_pins(moboard_pins, ARRAY_SIZE(moboard_pins),
 461                 "moboard");
 462
 463         platform_add_devices(devices, ARRAY_SIZE(devices));
 464
 465         mxc_register_device(&mxc_uart_device0, &uart0_pdata);
 466
 467         mxc_register_device(&mxc_uart_device4, &uart4_pdata);
 468
 469         mxc_register_device(&mxc_i2c_device0, &moboard_i2c0_pdata);
 470         mxc_register_device(&mxc_i2c_device1, &moboard_i2c1_pdata);
 471
 472         mxc_register_device(&mxc_spi_device1, &moboard_spi1_master);
 473         mxc_register_device(&mxc_spi_device2, &moboard_spi2_master);
 474
 475         gpio_request(IOMUX_TO_GPIO(MX31_PIN_GPIO1_3), "pmic-irq");
 476         gpio_direction_input(IOMUX_TO_GPIO(MX31_PIN_GPIO1_3));
 477         spi_register_board_info(moboard_spi_board_info,
 478                 ARRAY_SIZE(moboard_spi_board_info));
 479
 480         mxc_register_device(&mxcsdhc_device0, &sdhc1_pdata);
 481
 482         mxc_register_device(&mx3_ipu, &mx3_ipu_data);
 483         if (!mx31moboard_cam_alloc_dma(CAMERA_BUF_SIZE))
 484                 mxc_register_device(&mx3_camera, &camera_pdata);
 485
 486         usb_xcvr_reset();
 487
 488         mxc_register_device(&mxc_otg_udc_device, &usb_pdata);
 489         moboard_usbh2_init();
 490
 491         switch (mx31moboard_baseboard) {
 492         case MX31NOBOARD:
 493                 break;
 494         case MX31DEVBOARD:
 495                 mx31moboard_devboard_init();
 496                 break;
 497         case MX31MARXBOT:
 498                 mx31moboard_marxbot_init();
 499                 break;
 500         case MX31SMARTBOT:
 501                 mx31moboard_smartbot_init();
 502                 break;
 503         default:
 504                 printk(KERN_ERR "Illegal mx31moboard_baseboard type %d\n",
 505                         mx31moboard_baseboard);
 506         }
 507 }
 508
 509 static void __init mx31moboard_timer_init(void)
 510 {
 511         mx31_clocks_init(26000000);
 512 }
 513
 514 struct sys_timer mx31moboard_timer = {
 515         .init   = mx31moboard_timer_init,
 516 };
 517
 518 MACHINE_START(MX31MOBOARD, "EPFL Mobots mx31moboard")
 519         /* Maintainer: Valentin Longchamp, EPFL Mobots group */
 520         .phys_io        = MX31_AIPS1_BASE_ADDR,
 521         .io_pg_offst    = (MX31_AIPS1_BASE_ADDR_VIRT >> 18) & 0xfffc,
 522         .boot_params    = MX3x_PHYS_OFFSET + 0x100,
 523         .map_io         = mx31_map_io,
 524         .init_irq       = mx31_init_irq,
 525         .init_machine   = mxc_board_init,
 526         .timer          = &mx31moboard_timer,
 527 MACHINE_END
 528