Just adding that I have got this working on a pcduino 3.
I used the port option as I wasn't sure what the connector names are - see below. Is it possible to view the available ports and connectors?
import os, sys
if not os.getegid() == 0:
sys.exit('start script as root')
from pyGPIO.gpio import gpio, port
from time import sleep
gpio.init()
gpio.setcfg(port.GPIO0, 1)
gpio.output(port.GPIO0, 0)
sys.exit('finished ;-)')