/* Application entry point for IPC example on core 1.  */
int main(void)
/* Application entry point for IPC example on core 1.  */
int main(void)
{
	*cnt = 0;
	configure_ipc();
	configure_console();
	usart_write_line(CONF_UART, STRING_HEADER);
	ipc_set_command(IPC0, IPC_INTERRUPT_SRC_IRQ0);
	while (1) {
		if (is_core0_signal == true) {
			is_core0_signal = false;
			LED_On(LED0);
			usart_write_line(CONF_UART, "Got IRQ signal from core0\r\n\0");
			delay_s(2);
			ipc_set_command(IPC0, IPC_INTERRUPT_SRC_IRQ0);
		}
	}
}