+
−#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();
+
−	}
+
−}