What is the proper way of sharing I/O resources between the ARM and DSP on OMAP-L138 Linux PSP. This is a general question but specific examples are DMA channels and GPIO pins. For example, how does the DSP EDMA3LLD resource manager interact with the Linux environment to ensure that the DSP code doesn't use resources that are used by the ARM. Is there a configuration file on the Linux side that is initially setup to segregate resources between ARM and DSP? Same question for GPIOs and other I/O peripherals.