Archipelago » qemu

/*

 * QEMU PowerPC 405 evaluation boards emulation

 * Copyright (c) 2007 Jocelyn Mayer

 * Permission is hereby granted, free of charge, to any person obtaining a copy

 * of this software and associated documentation files (the "Software"), to deal

 * in the Software without restriction, including without limitation the rights

}

static void ref405ep_init (int ram_size, int vga_ram_size, int boot_device,

                           int snapshot,

                           const char *kernel_cmdline,

                           const char *initrd_filename,

                           const char *cpu_model)

            exit(1);

        }

        bios_size = (bios_size + 0xfff) & ~0xfff;

                                     bios_size, bios_offset | IO_MEM_ROM);

    }

    bios_offset += bios_size;

        /* now we can load the kernel */

        kernel_size = load_image(kernel_filename, phys_ram_base + kernel_base);

        if (kernel_size < 0) {

                    kernel_filename);

            exit(1);

        }

            initrd_size = load_image(initrd_filename,

                                     phys_ram_base + initrd_base);

            if (initrd_size < 0) {

                        initrd_filename);

                exit(1);

            }

}

static void taihu_405ep_init(int ram_size, int vga_ram_size, int boot_device,

                             int snapshot,

                             const char *kernel_cmdline,

                             const char *initrd_filename,

                             const char *cpu_model)

    target_ulong kernel_base, kernel_size, initrd_base, initrd_size;

    int linux_boot;

    int fl_idx, fl_sectors;

    /* RAM is soldered to the board so the size cannot be changed */

    ram_bases[0] = 0x00000000;

    ram_sizes[0] = 0x04000000;

            exit(1);

        }

        bios_size = (bios_size + 0xfff) & ~0xfff;

                                     bios_size, bios_offset | IO_MEM_ROM);

    }

    bios_offset += bios_size;

        /* now we can load the kernel */

        kernel_size = load_image(kernel_filename, phys_ram_base + kernel_base);

        if (kernel_size < 0) {

                    kernel_filename);

            exit(1);

        }

                                     phys_ram_base + initrd_base);

            if (initrd_size < 0) {

                fprintf(stderr,

                        initrd_filename);

                exit(1);

            }