#include <string.h>
#include <stdio.h>
#include <stdlib.h>

#include "..\inc\option.h"
#include "..\inc\def.h"
#include "..\inc\44b.h"
#include "..\inc\44blib.h"
#include "..\inc\drv\flash.h"
#include "..\inc\download.h"
#include "../fat16/file.h"

static void (*run)(void)=(void (*)(void))DOWNLOAD_ADDRESS;
char SYSTEM_CODE[]     ={'S','Y','S','T','E','M',' ',' ','B','I','N',0};

int LoadFile(char *filename, unsigned char *pbuffer)
{
	__FILE *file;
	int i;
	file=OpenOSFile(filename,FILEMODE_READ);

	if(file==NULL)
		return FALSE;

	ReadOSFile(file, pbuffer, file->filesize);

	CloseOSFile(file);

	return TRUE;
}

void Boot(char *pbootfile)
{
	if(pbootfile==NULL)
		pbootfile=SYSTEM_CODE;


	//close all interrupt
	rINTMSK=0xffffffff;	//Default value=0x7ffffff//

	initOSFile();
	if(!LoadFile(pbootfile,(unsigned char *)(DOWNLOAD_ADDRESS))){
		Uart_Printf("\nCan not find file %s",pbootfile);
		return;
	}
	run();
}