loadkernel.c

lpc2294 Bootloader Linux嵌入开发

extern void serial_print(char* s);

extern const char linux[];
extern const char romfs[];  


void loadkernel()
{  
	
	int i, j;
	int	from, *to;
	char *temp;
	void 	(*fp)(void);

	to   = (int*)0x81008000;	
	temp = (char*)linux;	
	serial_print("Loading uClinux kernel...... \r\n");
	/* move 2Mbyte=4*0.5Mword */
	/* linux kernel size is <2M */
	for(i = 0; i < 0.5*(0x100000); i++){
		from = 0;
		for(j = 0; j < 4; j++){
			from |= ((*temp) << (8*j));
			temp++;	
		}
		*to = from;
		to++;		
	}	
	serial_print("Loading kernel finished!\r\n");
		
	to   = (int*)0x81200000;	
	temp = (char*)romfs;
	serial_print("Loading file system......\r\n");
	/* move 2Mbyte=4*0.5Mword */
	/* file system size is about <2M */
	for(i = 0; i < 0.5*(0x100000); i++){
		from = 0;
		for(j = 0; j < 4; j++){
			from |= ((*temp) << (8*j));
			temp++;	
		}
		*to = from;
		to++;		
	}	
	serial_print("Loading file system finished!\r\n");

	serial_print("\n**   uCliunx start   **\r\n");
/*	fp = (void (*)(void))0x81008000;		
	(*fp)();  //give charge to kernel。
*/	
	return;	
}