Statistics
| Branch: | Revision:

root / hw / microblaze_boot.h @ a8170e5e

History | View | Annotate | Download (319 Bytes)

1 
#ifndef __MICROBLAZE_BOOT__
2 
#define __MICROBLAZE_BOOT__
3 

    		
  

  

  

    
      4
    
    
      
#include "hw.h"


    		
  

  

  

    
      5
    
    
      

    		
  

  

  

    
      6
    
    
      
void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base,


    		
  

  

  

    
      7
    
    
      
                            uint32_t ramsize, const char *dtb_filename,


    		
  

  

  

    
      8
    
    
      
                            void (*machine_cpu_reset)(MicroBlazeCPU *));


    		
  

  

  

    
      9
    
    
      

    		
  

  

  

    
      10
    
    
      
#endif /* __MICROBLAZE_BOOT __ */