I think the code currently published is just the basic infrastructure required to reset the GPU and send graphics command lists to the HW via IOCTLs. The part responsible for translating OpenGL APIs into those commands lists is still missing/unpublished.
Right now this is only good enough to playback commands lists "captured" from the ARM's proprietary driver output. Probably after reverse engineering the meaning of the command lists, hooking this code with Mesa will provide the missing parts.