There are two reset buttons on the base board: T10 and T12. Both of them pulls line RESET_IN to the ground. This shoud reset CPU on PicoCore board as I guess but... does nothing. CPU remains work properly in despite of level on RESET_IN line (at least it doesn't affect Linux).
That is wrong with RESET signal?