I've followed the appnote xapp564 "PPC405 Lockstep System on ML310".
I've modified a little and it seems liked to work as compiled without errors.
But I've a question concerning how to verify the design work correctly (I don't understand idea of the command line in XMD).
Another question, in the appnote, should I add the core PowerPC modified (modify the code vhdl) to the project and delete the core PPC default? Although I think 'yes' but not sure.