Interesting, are the Linux drivers upstreamed or is this another proprietary GPU driver?
In parallel, they're working on upstreaming the kernel bits too: https://gitlab.freedesktop.org/frankbinns/powervr/-/tree/pow...
Their ISA is here: http://cdn.imgtec.com/sdk-documentation/PowerVR+Instruction+...