Running both cores in Xilinx SDK

First run cpu0 and then cpu1. otherwise, the interrupt settings by CPU1 will be erased and initiailized by CPU0. So, the LEDs won't glow.