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

#include "config.h"
#include "lib.h"

int main()
{
	char *p;

	/* Test UART */
	init_uart();
	printf("\nUART initialised successfully!\n");
	
	/* Test malloc */
	p = (char *)malloc(10*1024*1024);
	printf("malloc(10M) returns 0x%p\n", p);
	free(p); 
	
	/* Test IRQ */
	init_timer();

	/* Test USB device */
	init_usbd();
		
	/* Test LED */
	init_led();
	while(1) {
		led_blink(LED1, 100);
		led_blink(LED2, 100);
	}
		
	return 0;
}