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