/* Application entry point for IPC example on core 0.  */
int main(void)
/* Application entry point for IPC example on core 0.  */
int main(void)
{
	sysclk_init();
	board_init();
	configure_ipc();
	configure_console();
	puts(STRING_HEADER);
	copy_core1_image_into_sram1();
	rstc_deassert_reset_of_coprocessor(RSTC, RSTC_CPMR_CPROCEN);
	while (1) {
		if (is_core1_signal == true) {
			is_core1_signal = false;
			LED_Off(LED0);
			printf("Got IRQ signal from core1 %d\r\n", (int)*cnt);
			delay_s(1);
			ipc_set_command(IPC1, IPC_INTERRUPT_SRC_IRQ0);
		}
	}
}