We have been booting over PCIe with the IBL workaround installed (with both R1.0 and R2.0 silicon of C6678).
Now we are trying to boot without the IBL installed (with R2.0 silicon).
Up to now we have been following closely the example code in C:/Program Files/Texas Instruments/mcsdk_2_00_01_12/tools/boot_loader/examples/pcie/linux_host_loader
It seems that the RBL requires an extra step (not required when using the IBL) of the host sending an interrupt to the core 0 of the C6678.
But the document SPRUGY5A only hints at this.
So is it enough to add one extra line of code to our host:
uint32 * MSI_Address = convertToPciAddress( 0x21800054 ); // Address of the MSI Interrupt IRQ Register)
* MSI_Address = 0x00000000; // Write 0 to the MSI Interrupt register in the DSP.
Is that what we are supposed to do differently when we stop using the IBL workaround for PCIe, or is there more to it?