/* Initialize the IPC queue */
void IPCEX_Init(void)
{
	IPC_initMsgQueue(ipcex_queue, sizeof(ipcex_msg_t), IPCEX_QUEUE_SZ);
	ipcex_register_callback(PID_GBLUPDATE, ipcex_updateGblVal);
}
// ---------------------------------------------------------------------------
// Initialize IPC driver
BOOL IPC_Initialize()
{
    IPC_initMsgQueue(ipc0_queue, sizeof(ipc0_msg_t), IPC_QUEUE_SZ);

    return TRUE;
}