puts("Setting registers VCFGEN0, VCFGEN1, VBOOT, and VCTL\n");
set_altbank();
read_from_px_regs(1);
read_from_px_regs_altbank(1);
puts("Enabling watchdog timer on the FPGA and resetting board with values from VSPEED0, VSPEED1, VCLKH, and VCLKL to boot from the other bank ....\n");
set_px_go_with_watchdog();
}else
gotomy_usage;
while(1);/* Not reached */
}elseif(argv[2][1]=='d'){
/*
*Resetfromalternatebankwithoutchanging
*frequenciesbutwithwatchdogtimerenabled.
*/
read_from_px_regs(0);
read_from_px_regs_altbank(0);
puts("Setting registers VCFGEN1, VBOOT, and VCTL\n");
set_altbank();
read_from_px_regs_altbank(1);
puts("Enabling watchdog timer on the FPGA and resetting board to boot from the other bank....\n");
set_px_go_with_watchdog();
while(1);/* Not reached */
}else{
/*
*Resetfromnextbankwithoutchanging
*frequencyandwithoutwatchdogtimerenabled.
*/
read_from_px_regs(0);
read_from_px_regs_altbank(0);
if(argc>2)
gotomy_usage;
puts("Setting registers VCFGNE1, VBOOT, and VCTL\n");
set_altbank();
read_from_px_regs_altbank(1);
puts("Resetting board to boot from the other bank....\n");