Possible IDE?

[MarkHaysHarris777]

For example, in Python, can I just code as follows?

Code:

import RPi.GPIO as GPIO
GPIO.setup(18, GPIO.OUT)
etc.

Or does there need to be a Pine64.GPIO object to import, and maybe I'd need to convert pine 18 to 72, as per the Pine64 pinout?

Yes, you can do that; however, you will need to download and install the codes from here. 

They are incomplete, but you will be able to use the RPi port for in|out as usual... pwm not ready yet, and not sure about i2c spi, etc.

I have tested with debian and ubuntu and the RPi.GPIO for PineA64 works for in|out...