vcs.maemo.org Git - qemu/blob - hw/ppc405_boards.c

   1 /*
   2  * QEMU PowerPC 405 evaluation boards emulation
   3  *
   4  * Copyright (c) 2007 Jocelyn Mayer
   5  *
   6  * Permission is hereby granted, free of charge, to any person obtaining a copy
   7  * of this software and associated documentation files (the "Software"), to deal
   8  * in the Software without restriction, including without limitation the rights
   9  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  10  * copies of the Software, and to permit persons to whom the Software is
  11  * furnished to do so, subject to the following conditions:
  12  *
  13  * The above copyright notice and this permission notice shall be included in
  14  * all copies or substantial portions of the Software.
  15  *
  16  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  17  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  18  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
  19  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  20  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  21  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  22  * THE SOFTWARE.
  23  */
  24 #include "vl.h"
  25 #include "ppc405.h"
  26
  27 extern int loglevel;
  28 extern FILE *logfile;
  29
  30 #define BIOS_FILENAME "ppc405_rom.bin"
  31 #undef BIOS_SIZE
  32 #define BIOS_SIZE (2048 * 1024)
  33
  34 #define KERNEL_LOAD_ADDR 0x00000000
  35 #define INITRD_LOAD_ADDR 0x01800000
  36
  37 #define USE_FLASH_BIOS
  38
  39 #define DEBUG_BOARD_INIT
  40
  41 /*****************************************************************************/
  42 /* PPC405EP reference board (IBM) */
  43 /* Standalone board with:
  44  * - PowerPC 405EP CPU
  45  * - SDRAM (0x00000000)
  46  * - Flash (0xFFF80000)
  47  * - SRAM  (0xFFF00000)
  48  * - NVRAM (0xF0000000)
  49  * - FPGA  (0xF0300000)
  50  */
  51 typedef struct ref405ep_fpga_t ref405ep_fpga_t;
  52 struct ref405ep_fpga_t {
  53     uint32_t base;
  54     uint8_t reg0;
  55     uint8_t reg1;
  56 };
  57
  58 static uint32_t ref405ep_fpga_readb (void *opaque, target_phys_addr_t addr)
  59 {
  60     ref405ep_fpga_t *fpga;
  61     uint32_t ret;
  62
  63     fpga = opaque;
  64     addr -= fpga->base;
  65     switch (addr) {
  66     case 0x0:
  67         ret = fpga->reg0;
  68         break;
  69     case 0x1:
  70         ret = fpga->reg1;
  71         break;
  72     default:
  73         ret = 0;
  74         break;
  75     }
  76
  77     return ret;
  78 }
  79
  80 static void ref405ep_fpga_writeb (void *opaque,
  81                                   target_phys_addr_t addr, uint32_t value)
  82 {
  83     ref405ep_fpga_t *fpga;
  84
  85     fpga = opaque;
  86     addr -= fpga->base;
  87     switch (addr) {
  88     case 0x0:
  89         /* Read only */
  90         break;
  91     case 0x1:
  92         fpga->reg1 = value;
  93         break;
  94     default:
  95         break;
  96     }
  97 }
  98
  99 static uint32_t ref405ep_fpga_readw (void *opaque, target_phys_addr_t addr)
 100 {
 101     uint32_t ret;
 102
 103     ret = ref405ep_fpga_readb(opaque, addr) << 8;
 104     ret |= ref405ep_fpga_readb(opaque, addr + 1);
 105
 106     return ret;
 107 }
 108
 109 static void ref405ep_fpga_writew (void *opaque,
 110                                   target_phys_addr_t addr, uint32_t value)
 111 {
 112     ref405ep_fpga_writeb(opaque, addr, (value >> 8) & 0xFF);
 113     ref405ep_fpga_writeb(opaque, addr + 1, value & 0xFF);
 114 }
 115
 116 static uint32_t ref405ep_fpga_readl (void *opaque, target_phys_addr_t addr)
 117 {
 118     uint32_t ret;
 119
 120     ret = ref405ep_fpga_readb(opaque, addr) << 24;
 121     ret |= ref405ep_fpga_readb(opaque, addr + 1) << 16;
 122     ret |= ref405ep_fpga_readb(opaque, addr + 2) << 8;
 123     ret |= ref405ep_fpga_readb(opaque, addr + 3);
 124
 125     return ret;
 126 }
 127
 128 static void ref405ep_fpga_writel (void *opaque,
 129                                   target_phys_addr_t addr, uint32_t value)
 130 {
 131     ref405ep_fpga_writel(opaque, addr, (value >> 24) & 0xFF);
 132     ref405ep_fpga_writel(opaque, addr + 1, (value >> 16) & 0xFF);
 133     ref405ep_fpga_writel(opaque, addr + 2, (value >> 8) & 0xFF);
 134     ref405ep_fpga_writeb(opaque, addr + 3, value & 0xFF);
 135 }
 136
 137 static CPUReadMemoryFunc *ref405ep_fpga_read[] = {
 138     &ref405ep_fpga_readb,
 139     &ref405ep_fpga_readw,
 140     &ref405ep_fpga_readl,
 141 };
 142
 143 static CPUWriteMemoryFunc *ref405ep_fpga_write[] = {
 144     &ref405ep_fpga_writeb,
 145     &ref405ep_fpga_writew,
 146     &ref405ep_fpga_writel,
 147 };
 148
 149 static void ref405ep_fpga_reset (void *opaque)
 150 {
 151     ref405ep_fpga_t *fpga;
 152
 153     fpga = opaque;
 154     fpga->reg0 = 0x00;
 155     fpga->reg1 = 0x0F;
 156 }
 157
 158 static void ref405ep_fpga_init (uint32_t base)
 159 {
 160     ref405ep_fpga_t *fpga;
 161     int fpga_memory;
 162
 163     fpga = qemu_mallocz(sizeof(ref405ep_fpga_t));
 164     if (fpga != NULL) {
 165         fpga->base = base;
 166         fpga_memory = cpu_register_io_memory(0, ref405ep_fpga_read,
 167                                              ref405ep_fpga_write, fpga);
 168         cpu_register_physical_memory(base, 0x00000100, fpga_memory);
 169         ref405ep_fpga_reset(fpga);
 170         qemu_register_reset(&ref405ep_fpga_reset, fpga);
 171     }
 172 }
 173
 174 static void ref405ep_init (int ram_size, int vga_ram_size, int boot_device,
 175                            DisplayState *ds, const char **fd_filename,
 176                            int snapshot,
 177                            const char *kernel_filename,
 178                            const char *kernel_cmdline,
 179                            const char *initrd_filename,
 180                            const char *cpu_model)
 181 {
 182     char buf[1024];
 183     ppc4xx_bd_info_t bd;
 184     CPUPPCState *env;
 185     qemu_irq *pic;
 186     ram_addr_t sram_offset, bios_offset, bdloc;
 187     target_ulong ram_bases[2], ram_sizes[2];
 188     target_ulong sram_size, bios_size;
 189     //int phy_addr = 0;
 190     //static int phy_addr = 1;
 191     target_ulong kernel_base, kernel_size, initrd_base, initrd_size;
 192     int linux_boot;
 193     int fl_idx, fl_sectors, len;
 194
 195     /* XXX: fix this */
 196     ram_bases[0] = 0x00000000;
 197     ram_sizes[0] = 0x08000000;
 198     ram_bases[1] = 0x00000000;
 199     ram_sizes[1] = 0x00000000;
 200     ram_size = 128 * 1024 * 1024;
 201 #ifdef DEBUG_BOARD_INIT
 202     printf("%s: register cpu\n", __func__);
 203 #endif
 204     env = ppc405ep_init(ram_bases, ram_sizes, 33333333, &pic, &sram_offset,
 205                         kernel_filename == NULL ? 0 : 1);
 206     /* allocate SRAM */
 207 #ifdef DEBUG_BOARD_INIT
 208     printf("%s: register SRAM at offset %08lx\n", __func__, sram_offset);
 209 #endif
 210     sram_size = 512 * 1024;
 211     cpu_register_physical_memory(0xFFF00000, sram_size,
 212                                  sram_offset | IO_MEM_RAM);
 213     /* allocate and load BIOS */
 214 #ifdef DEBUG_BOARD_INIT
 215     printf("%s: register BIOS\n", __func__);
 216 #endif
 217     bios_offset = sram_offset + sram_size;
 218     fl_idx = 0;
 219 #ifdef USE_FLASH_BIOS
 220     if (pflash_table[fl_idx] != NULL) {
 221         bios_size = bdrv_getlength(pflash_table[fl_idx]);
 222         fl_sectors = (bios_size + 65535) >> 16;
 223 #ifdef DEBUG_BOARD_INIT
 224         printf("Register parallel flash %d size " ADDRX " at offset %08lx "
 225                " addr " ADDRX " '%s' %d\n",
 226                fl_idx, bios_size, bios_offset, -bios_size,
 227                bdrv_get_device_name(pflash_table[fl_idx]), fl_sectors);
 228 #endif
 229         pflash_register(-(bios_size), bios_offset, pflash_table[fl_idx],
 230                         65536, fl_sectors, 2,
 231                         0x0001, 0x22DA, 0x0000, 0x0000);
 232         fl_idx++;
 233     } else
 234 #endif
 235     {
 236 #ifdef DEBUG_BOARD_INIT
 237         printf("Load BIOS from file\n");
 238 #endif
 239         snprintf(buf, sizeof(buf), "%s/%s", bios_dir, BIOS_FILENAME);
 240         bios_size = load_image(buf, phys_ram_base + bios_offset);
 241         if (bios_size < 0 || bios_size > BIOS_SIZE) {
 242             fprintf(stderr, "qemu: could not load PowerPC bios '%s'\n", buf);
 243             exit(1);
 244         }
 245         bios_size = (bios_size + 0xfff) & ~0xfff;
 246         cpu_register_physical_memory((uint32_t)(-bios_size),
 247                                      bios_size, bios_offset | IO_MEM_ROM);
 248     }
 249     bios_offset += bios_size;
 250     /* Register FPGA */
 251 #ifdef DEBUG_BOARD_INIT
 252     printf("%s: register FPGA\n", __func__);
 253 #endif
 254     ref405ep_fpga_init(0xF0300000);
 255     /* Register NVRAM */
 256 #ifdef DEBUG_BOARD_INIT
 257     printf("%s: register NVRAM\n", __func__);
 258 #endif
 259     m48t59_init(NULL, 0xF0000000, 0, 8192, 8);
 260     /* Load kernel */
 261     linux_boot = (kernel_filename != NULL);
 262     if (linux_boot) {
 263 #ifdef DEBUG_BOARD_INIT
 264         printf("%s: load kernel\n", __func__);
 265 #endif
 266         memset(&bd, 0, sizeof(bd));
 267         bd.bi_memstart = 0x00000000;
 268         bd.bi_memsize = ram_size;
 269         bd.bi_flashstart = -(bios_size);
 270         bd.bi_flashsize = -bios_size;
 271         bd.bi_flashoffset = 0;
 272         bd.bi_sramstart = 0xFFF00000;
 273         bd.bi_sramsize = sram_size;
 274         bd.bi_bootflags = 0;
 275         bd.bi_intfreq = 133333333;
 276         bd.bi_busfreq = 33333333;
 277         bd.bi_baudrate = 115200;
 278         bd.bi_s_version[0] = 'Q';
 279         bd.bi_s_version[1] = 'M';
 280         bd.bi_s_version[2] = 'U';
 281         bd.bi_s_version[3] = '\0';
 282         bd.bi_r_version[0] = 'Q';
 283         bd.bi_r_version[1] = 'E';
 284         bd.bi_r_version[2] = 'M';
 285         bd.bi_r_version[3] = 'U';
 286         bd.bi_r_version[4] = '\0';
 287         bd.bi_procfreq = 133333333;
 288         bd.bi_plb_busfreq = 33333333;
 289         bd.bi_pci_busfreq = 33333333;
 290         bd.bi_opbfreq = 33333333;
 291         bdloc = ppc405_set_bootinfo(env, &bd);
 292         env->gpr[3] = bdloc;
 293         kernel_base = KERNEL_LOAD_ADDR;
 294         /* now we can load the kernel */
 295         kernel_size = load_image(kernel_filename, phys_ram_base + kernel_base);
 296         if (kernel_size < 0) {
 297             fprintf(stderr, "qemu: could not load kernel '%s'\n",
 298                     kernel_filename);
 299             exit(1);
 300         }
 301         printf("Load kernel size " TARGET_FMT_ld " at " TARGET_FMT_lx
 302                " %02x %02x %02x %02x\n", kernel_size, kernel_base,
 303                *(char *)(phys_ram_base + kernel_base),
 304                *(char *)(phys_ram_base + kernel_base + 1),
 305                *(char *)(phys_ram_base + kernel_base + 2),
 306                *(char *)(phys_ram_base + kernel_base + 3));
 307         /* load initrd */
 308         if (initrd_filename) {
 309             initrd_base = INITRD_LOAD_ADDR;
 310             initrd_size = load_image(initrd_filename,
 311                                      phys_ram_base + initrd_base);
 312             if (initrd_size < 0) {
 313                 fprintf(stderr, "qemu: could not load initial ram disk '%s'\n",
 314                         initrd_filename);
 315                 exit(1);
 316             }
 317         } else {
 318             initrd_base = 0;
 319             initrd_size = 0;
 320         }
 321         env->gpr[4] = initrd_base;
 322         env->gpr[5] = initrd_size;
 323         boot_device = 'm';
 324         if (kernel_cmdline != NULL) {
 325             len = strlen(kernel_cmdline);
 326             bdloc -= ((len + 255) & ~255);
 327             memcpy(phys_ram_base + bdloc, kernel_cmdline, len + 1);
 328             env->gpr[6] = bdloc;
 329             env->gpr[7] = bdloc + len;
 330         } else {
 331             env->gpr[6] = 0;
 332             env->gpr[7] = 0;
 333         }
 334         env->nip = KERNEL_LOAD_ADDR;
 335     } else {
 336         kernel_base = 0;
 337         kernel_size = 0;
 338         initrd_base = 0;
 339         initrd_size = 0;
 340         bdloc = 0;
 341     }
 342 #ifdef DEBUG_BOARD_INIT
 343     printf("%s: Done\n", __func__);
 344 #endif
 345     printf("bdloc %016lx %s\n",
 346            (unsigned long)bdloc, (char *)(phys_ram_base + bdloc));
 347 }
 348
 349 QEMUMachine ref405ep_machine = {
 350     "ref405ep",
 351     "ref405ep",
 352     ref405ep_init,
 353 };
 354
 355 /*****************************************************************************/
 356 /* AMCC Taihu evaluation board */
 357 /* - PowerPC 405EP processor
 358  * - SDRAM               128 MB at 0x00000000
 359  * - Boot flash          2 MB   at 0xFFE00000
 360  * - Application flash   32 MB  at 0xFC000000
 361  * - 2 serial ports
 362  * - 2 ethernet PHY
 363  * - 1 USB 1.1 device    0x50000000
 364  * - 1 LCD display       0x50100000
 365  * - 1 CPLD              0x50100000
 366  * - 1 I2C EEPROM
 367  * - 1 I2C thermal sensor
 368  * - a set of LEDs
 369  * - bit-bang SPI port using GPIOs
 370  * - 1 EBC interface connector 0 0x50200000
 371  * - 1 cardbus controller + expansion slot.
 372  * - 1 PCI expansion slot.
 373  */
 374 typedef struct taihu_cpld_t taihu_cpld_t;
 375 struct taihu_cpld_t {
 376     uint32_t base;
 377     uint8_t reg0;
 378     uint8_t reg1;
 379 };
 380
 381 static uint32_t taihu_cpld_readb (void *opaque, target_phys_addr_t addr)
 382 {
 383     taihu_cpld_t *cpld;
 384     uint32_t ret;
 385
 386     cpld = opaque;
 387     addr -= cpld->base;
 388     switch (addr) {
 389     case 0x0:
 390         ret = cpld->reg0;
 391         break;
 392     case 0x1:
 393         ret = cpld->reg1;
 394         break;
 395     default:
 396         ret = 0;
 397         break;
 398     }
 399
 400     return ret;
 401 }
 402
 403 static void taihu_cpld_writeb (void *opaque,
 404                                target_phys_addr_t addr, uint32_t value)
 405 {
 406     taihu_cpld_t *cpld;
 407
 408     cpld = opaque;
 409     addr -= cpld->base;
 410     switch (addr) {
 411     case 0x0:
 412         /* Read only */
 413         break;
 414     case 0x1:
 415         cpld->reg1 = value;
 416         break;
 417     default:
 418         break;
 419     }
 420 }
 421
 422 static uint32_t taihu_cpld_readw (void *opaque, target_phys_addr_t addr)
 423 {
 424     uint32_t ret;
 425
 426     ret = taihu_cpld_readb(opaque, addr) << 8;
 427     ret |= taihu_cpld_readb(opaque, addr + 1);
 428
 429     return ret;
 430 }
 431
 432 static void taihu_cpld_writew (void *opaque,
 433                                target_phys_addr_t addr, uint32_t value)
 434 {
 435     taihu_cpld_writeb(opaque, addr, (value >> 8) & 0xFF);
 436     taihu_cpld_writeb(opaque, addr + 1, value & 0xFF);
 437 }
 438
 439 static uint32_t taihu_cpld_readl (void *opaque, target_phys_addr_t addr)
 440 {
 441     uint32_t ret;
 442
 443     ret = taihu_cpld_readb(opaque, addr) << 24;
 444     ret |= taihu_cpld_readb(opaque, addr + 1) << 16;
 445     ret |= taihu_cpld_readb(opaque, addr + 2) << 8;
 446     ret |= taihu_cpld_readb(opaque, addr + 3);
 447
 448     return ret;
 449 }
 450
 451 static void taihu_cpld_writel (void *opaque,
 452                                target_phys_addr_t addr, uint32_t value)
 453 {
 454     taihu_cpld_writel(opaque, addr, (value >> 24) & 0xFF);
 455     taihu_cpld_writel(opaque, addr + 1, (value >> 16) & 0xFF);
 456     taihu_cpld_writel(opaque, addr + 2, (value >> 8) & 0xFF);
 457     taihu_cpld_writeb(opaque, addr + 3, value & 0xFF);
 458 }
 459
 460 static CPUReadMemoryFunc *taihu_cpld_read[] = {
 461     &taihu_cpld_readb,
 462     &taihu_cpld_readw,
 463     &taihu_cpld_readl,
 464 };
 465
 466 static CPUWriteMemoryFunc *taihu_cpld_write[] = {
 467     &taihu_cpld_writeb,
 468     &taihu_cpld_writew,
 469     &taihu_cpld_writel,
 470 };
 471
 472 static void taihu_cpld_reset (void *opaque)
 473 {
 474     taihu_cpld_t *cpld;
 475
 476     cpld = opaque;
 477     cpld->reg0 = 0x01;
 478     cpld->reg1 = 0x80;
 479 }
 480
 481 static void taihu_cpld_init (uint32_t base)
 482 {
 483     taihu_cpld_t *cpld;
 484     int cpld_memory;
 485
 486     cpld = qemu_mallocz(sizeof(taihu_cpld_t));
 487     if (cpld != NULL) {
 488         cpld->base = base;
 489         cpld_memory = cpu_register_io_memory(0, taihu_cpld_read,
 490                                              taihu_cpld_write, cpld);
 491         cpu_register_physical_memory(base, 0x00000100, cpld_memory);
 492         taihu_cpld_reset(cpld);
 493         qemu_register_reset(&taihu_cpld_reset, cpld);
 494     }
 495 }
 496
 497 static void taihu_405ep_init(int ram_size, int vga_ram_size, int boot_device,
 498                              DisplayState *ds, const char **fd_filename,
 499                              int snapshot,
 500                              const char *kernel_filename,
 501                              const char *kernel_cmdline,
 502                              const char *initrd_filename,
 503                              const char *cpu_model)
 504 {
 505     char buf[1024];
 506     CPUPPCState *env;
 507     qemu_irq *pic;
 508     ram_addr_t bios_offset;
 509     target_ulong ram_bases[2], ram_sizes[2];
 510     target_ulong bios_size;
 511     target_ulong kernel_base, kernel_size, initrd_base, initrd_size;
 512     int linux_boot;
 513     int fl_idx, fl_sectors;
 514
 515     /* RAM is soldered to the board so the size cannot be changed */
 516     ram_bases[0] = 0x00000000;
 517     ram_sizes[0] = 0x04000000;
 518     ram_bases[1] = 0x04000000;
 519     ram_sizes[1] = 0x04000000;
 520 #ifdef DEBUG_BOARD_INIT
 521     printf("%s: register cpu\n", __func__);
 522 #endif
 523     env = ppc405ep_init(ram_bases, ram_sizes, 33333333, &pic, &bios_offset,
 524                         kernel_filename == NULL ? 0 : 1);
 525     /* allocate and load BIOS */
 526 #ifdef DEBUG_BOARD_INIT
 527     printf("%s: register BIOS\n", __func__);
 528 #endif
 529     fl_idx = 0;
 530 #if defined(USE_FLASH_BIOS)
 531     if (pflash_table[fl_idx] != NULL) {
 532         bios_size = bdrv_getlength(pflash_table[fl_idx]);
 533         /* XXX: should check that size is 2MB */
 534         //        bios_size = 2 * 1024 * 1024;
 535         fl_sectors = (bios_size + 65535) >> 16;
 536 #ifdef DEBUG_BOARD_INIT
 537         printf("Register parallel flash %d size " ADDRX " at offset %08lx "
 538                " addr " ADDRX " '%s' %d\n",
 539                fl_idx, bios_size, bios_offset, -bios_size,
 540                bdrv_get_device_name(pflash_table[fl_idx]), fl_sectors);
 541 #endif
 542         pflash_register(-(bios_size), bios_offset, pflash_table[fl_idx],
 543                         65536, fl_sectors, 4,
 544                         0x0001, 0x22DA, 0x0000, 0x0000);
 545         fl_idx++;
 546     } else
 547 #endif
 548     {
 549 #ifdef DEBUG_BOARD_INIT
 550         printf("Load BIOS from file\n");
 551 #endif
 552         snprintf(buf, sizeof(buf), "%s/%s", bios_dir, BIOS_FILENAME);
 553         bios_size = load_image(buf, phys_ram_base + bios_offset);
 554         if (bios_size < 0 || bios_size > BIOS_SIZE) {
 555             fprintf(stderr, "qemu: could not load PowerPC bios '%s'\n", buf);
 556             exit(1);
 557         }
 558         bios_size = (bios_size + 0xfff) & ~0xfff;
 559         cpu_register_physical_memory((uint32_t)(-bios_size),
 560                                      bios_size, bios_offset | IO_MEM_ROM);
 561     }
 562     bios_offset += bios_size;
 563     /* Register Linux flash */
 564     if (pflash_table[fl_idx] != NULL) {
 565         bios_size = bdrv_getlength(pflash_table[fl_idx]);
 566         /* XXX: should check that size is 32MB */
 567         bios_size = 32 * 1024 * 1024;
 568         fl_sectors = (bios_size + 65535) >> 16;
 569 #ifdef DEBUG_BOARD_INIT
 570         printf("Register parallel flash %d size " ADDRX " at offset %08lx "
 571                " addr " ADDRX " '%s'\n",
 572                fl_idx, bios_size, bios_offset, (target_ulong)0xfc000000,
 573                bdrv_get_device_name(pflash_table[fl_idx]));
 574 #endif
 575         pflash_register(0xfc000000, bios_offset, pflash_table[fl_idx],
 576                         65536, fl_sectors, 4,
 577                         0x0001, 0x22DA, 0x0000, 0x0000);
 578         fl_idx++;
 579     }
 580     /* Register CLPD & LCD display */
 581 #ifdef DEBUG_BOARD_INIT
 582     printf("%s: register CPLD\n", __func__);
 583 #endif
 584     taihu_cpld_init(0x50100000);
 585     /* Load kernel */
 586     linux_boot = (kernel_filename != NULL);
 587     if (linux_boot) {
 588 #ifdef DEBUG_BOARD_INIT
 589         printf("%s: load kernel\n", __func__);
 590 #endif
 591         kernel_base = KERNEL_LOAD_ADDR;
 592         /* now we can load the kernel */
 593         kernel_size = load_image(kernel_filename, phys_ram_base + kernel_base);
 594         if (kernel_size < 0) {
 595             fprintf(stderr, "qemu: could not load kernel '%s'\n",
 596                     kernel_filename);
 597             exit(1);
 598         }
 599         /* load initrd */
 600         if (initrd_filename) {
 601             initrd_base = INITRD_LOAD_ADDR;
 602             initrd_size = load_image(initrd_filename,
 603                                      phys_ram_base + initrd_base);
 604             if (initrd_size < 0) {
 605                 fprintf(stderr,
 606                         "qemu: could not load initial ram disk '%s'\n",
 607                         initrd_filename);
 608                 exit(1);
 609             }
 610         } else {
 611             initrd_base = 0;
 612             initrd_size = 0;
 613         }
 614         boot_device = 'm';
 615     } else {
 616         kernel_base = 0;
 617         kernel_size = 0;
 618         initrd_base = 0;
 619         initrd_size = 0;
 620     }
 621 #ifdef DEBUG_BOARD_INIT
 622     printf("%s: Done\n", __func__);
 623 #endif
 624 }
 625
 626 QEMUMachine taihu_machine = {
 627     "taihu",
 628     "taihu",
 629     taihu_405ep_init,
 630 };