Revision 96968466 hw/multiboot.c

b/hw/multiboot.c
171 171 
        uint64_t elf_low, elf_high;
172 172 
        int kernel_size;
173 173 
        fclose(f);
174 

  		





  
  175
  
    
        if (((struct elf64_hdr*)header)->e_machine == EM_X86_64) {


  		





  
  176
  
    
            fprintf(stderr, "Cannot load x86-64 image, give a 32bit one.\n");


  		





  
  177
  
    
            exit(1);


  		





  
  178
  
    
        }


  		





  
  179
  
    

  		





  174
  180
  
    
        kernel_size = load_elf(kernel_filename, NULL, NULL, &elf_entry,


  		





  175
  181
  
    
                               &elf_low, &elf_high, 0, ELF_MACHINE, 0);


  		





  176
  182
  
    
        if (kernel_size < 0) {


  		












Also available in:
  Unified diff