/* Reset the board. Like pixis_reset(), but it honors the ENx registers.  */
void pixis_reset(void)
/* Reset the board. Like pixis_reset(), but it honors the ENx registers.  */
void pixis_reset(void)
{
	PIXIS_WRITE(vctl, 0);
	PIXIS_WRITE(vctl, 1);
	while (1);
}