Raspberry Pi port, piCore-15.0 is available!
$ tce-load -wil python3.6
$ ls /etc/sysconfig/tcedir/optional/python3.6*