C6748 Secure Boot with DSP/BIOS

I had seen that post.  Those are the exact linker errors that I was getting.  I also tried the wrapper files that were posted further in the thread (5466sk_cwrap.asm and 7701sk_cwrap.h).  Using those file, I am able to link, but at run time it hangs during the DSP/BIOS initialization between the call to UserInit() and the call to main() in what looks to be cinit function.  This had led me to believe that those wrapper files are not correct for the C6748 or worse, that DSP/BIOS does not support the secure kernel.

And yes I am declaring "bios.GBL.ENABLE_SK = true;" in the tcf file, reserving the bottom 32K of L2 RAM for use by the secure kernel, and opening the security for memory and IO in the boot ini file.  Also, the application boots and runs perfectly when "bootExitType =NONSECURE" and "bios.GBL.ENABLE_SK = true;" is not specified. 

Following that thread farther, it eventually ends without a solution.  I really need the ability to encrypt the secure key from a DSP/BIOS application  so that I can support field upgrades.

Could you please tell me what version of DSP/BIOS you are using?

I am using DSP/BIOS version 5.41.10.36.

-- Jerry

I would be willing to switch DSP/BIOS versions if that helps.

-- Jerry

Here's the sk files from that release.

< removed >