I've reviewed the source code for crt0.S, exception.S, and trampoline.S. I've disassembled the `.elf' file from the "Hello World" example.
The startup code from the Hello World example is clearly not the same as the startup code from crt0.S. Why should they be different? Can we get the source for the actual startup code that is being used for the framework examples?