Might be of interest to those of you that ended up here: PS1 Tomb Raider ported to the GBA, Sega 32X and other platform with the OpenLara project
https://www.youtube.com/watch?v=igEUjEci-eg
They even made a web demo. I've been replaying the whole game with my GoG.com Tomb Raider copy.