Example 4-4 is the cold reboot service routine source code provided in src/nucleus/bsp/powerpc/sbc8260/src/reboot/reboot.c.
void rebootCold(KnRebootReq* req) { printf ("Cold reboot ...\n"); resetOp(0); }
This cold reboot service calls the debug agent hardware reset service routine.