We are using Platform Builder 4.2 to develop our hardware platform.
When starting the kernel main.c calls the Launch2 function in the startup
(fwxsc1.s) file. In this function the physicalstart2 address is required to
be moved to the r2 register.
Where do you find the value of physicalstart2?
And why is there a Launch/physicalstart and a Launch2/physicalstart2
subroutine, because the Launch subroutine never gets called by main.c?