/*
 * main.c
 */

void taskMain(void)
{

}
int main(void) {
	BIOS_start();
	return 0;
}
