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