/** Sets a GPIO pin to the desired value
* @param value - the value (1 or 0) to write to the pin
* @param pin_num - the number of the pin (refer to electronics team)
*/
/** Sets a GPIO pin to the desired value
* @param value - the value (1 or 0) to write to the pin
* @param pin_num - the number of the pin (refer to electronics team)
*/