I'm not sure if the document you want exists, but one thing you have to be very careful about is having DSP/BIOS manage the interrupts in your combined application. Specifically, if any of those interrupt handlers invoke any BIOS APIs, they MUST be managed by the BIOS Hwi module in order for your system to behave properly.
Alan
