tce-load -i compiletc python3.8-dev

wget https://sourceforge.net/projects/raspberry-gpio-python/files/RPi.GPIO-0.7.0.tar.gz

cd RPi.GPIO-0.7.0

python3.8 setup.py build
sudo python3.8 setup.py install --root=/tmp/pkg