A much better repo designed specifically for coop deluxe modding has come out named Fast64-Gart

The only thing it lacks is lightmap support, which can be achieved using this repo or dj's original lightmap repo. This one is being archived for historical purposes.