Archipelago » qemu

                     const char *kernel_filename, const char *kernel_cmdline,

                     const char *initrd_filename, const char *cpu_model)

{

    int kernel_size;

    uint64_t elf_entry;

    target_phys_addr_t entry;