#include "typdef.h"
extern char kernel[]; 

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

	fp = (void (*)(void))0x8000;

	to   = (char*)0x8000;	
	from = (char*)kernel;

	for(i = 0; i < 2097152; i++){
		*to = *from;
		to++;
		from++;
	}
	
		
	(*fp)();  //把控制權交給kernel。
	
	return;	
}