#include "types.h"

main()
{
	uart_select_init();
	printf("Calypso version ID program running\n");
	print_boot_rom_info();
	printf("Device ID code: 0x%04X\n", *(volatile u16 *)0xFFFEF000);
	printf("Device version code: 0x%04X\n", *(volatile u16 *)0xFFFEF002);
	printf("ARM ID code: 0x%04X\n", *(volatile u16 *)0xFFFFFE00);
	printf("cDSP ID code: 0x%04X\n", *(volatile u16 *)0xFFFFFE02);
	dsp_power_on();
	for (;;) {
		putchar('=');
		if (command_entry())
			command_dispatch();
	}
}