If the board is power cycled, it boots the kernel successfully.
If then the PS-RST button is hit, u-boot loads and starts kernel, but it does not boot successfully.
It seems that the CPU is not reset properly by reset, only by power cycle.
I tried to debug down this and it turns out that the boot stops in the xilinx_dma.c:xilinx_dma_reset(). If I comment out its body, the booting continues further, but it again stops in i2c-xiic.c:xiic_reinit(). Again if body commented out booting continues, but stop later. Here I stopped debugging.
Has anybody experienced such behavior pushing the reset button?
Are there any suggestions or explanations (kernel bug, chip bug, etc.)?
P.S. for the test I build and test the Digilent kernel source three.