void gpio_reset(void)
Reset all GPIO pins.
void switchbox_destroy(void)
Resets all pins of the switch box to be input.
void switchbox_reset(void)
Resets all pins of the switch box to be input.
void switchbox_init(void)
Initializes the switch box.
void pynq_init(void)
Initialise the switchbox and GPIO of the PYNQ.
void pynq_destroy(void)
Reset and destroy the switchbox and GPIO of the PYNQ.