RPi.GPIO python module for Pine A64/A64+

[Wolfenstein]

Code:

import RPi.GPIO as GPIO
GPIO.setmode(GPIO.BCM)
p_switch = 19
GPIO.setup(p_switch, GPIO.IN, pull_up_down=GPIO.PUD_UP)


def push_button():
   if GPIO.input(p_switch):
       return False
   else:
       return True

That worked for GPIO19, 2 and 3 but not GPIO4. That is what I tested so far.