I'm trying to share some memory between the ARM (Linux) and DSP (SYSBIOS) and want some sort of gate / semaphore. I'm using IPC 3.42.00.02.
The GateMP module does not exist for the default linux libraries (I can't link), and I am unable to recompile IPC with GateMP support (CFLAGS="-DGATEMP_SUPPORT" make -f ipc-linux.mak config; make) -- I get linker errors looking for GateMP.
Is the GateMP module not supported under Linux (the IPC docs don't call it SYSBIOS only)?
Is there some other gate / semaphore I should attempt to use to synchronize between ARM and DSP?