/* Boot ROM load */
            bootrom_name = bios_name;
            if (bootrom_name == NULL) bootrom_name = BOOTROM_FILENAME;
            filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, bootrom_name);
            if (filename) {
                bootrom_size = get_image_size(filename);
            } else {
                    bootrom_size = -1;
            }
            if (bootrom_size <= 0 || (bootrom_size % 32768) != 0) {
                fprintf(stderr, "qemu: could not load ARM Boot ROM '%s'\n", bootrom_name);
                exit(1);
            }
            s->bootrom_base = qemu_ram_alloc(NULL, "omap3_boot_rom", bootrom_size);
            ret = rom_add_file_fixed(bootrom_name, OMAP3_Q1_BASE + 0x14000, -1);
            if (ret != 0) {
                fprintf(stderr, "qemu: could not load ARM Boot ROM '%s'\n", bootrom_name);
                exit(1);
            }
            cpu_register_physical_memory(OMAP3_Q1_BASE + 0x14000,
                                                    bootrom_size,
                                                    s->bootrom_base | IO_MEM_ROM);
            boot_rom = qemu_mallocz(bootrom_size);
            low_boot_rom = qemu_ram_alloc(NULL, "omap3_low_boot_rom", bootrom_size);
            cpu_register_physical_memory(0x14000, bootrom_size, low_boot_rom | IO_MEM_ROM);
            cpu_physical_memory_read(OMAP3_Q1_BASE + 0x14000, boot_rom, bootrom_size);
            cpu_physical_memory_write(0x14000, boot_rom, bootrom_size);
            cpu_physical_memory_write(OMAP3_SRAM_BASE + 0xffc8,
                                                    omap3_sram_vectors,
                                                    sizeof(omap3_sram_vectors));
            free(boot_rom);