I don't know much about libretro, but I'm happy to answer questions people have if they pop in here. Fair warning though that I give to anyone considering a port of ZC: Allegro's tentacles snake through the entire ZC codebase to an extent that may not be obvious at first, and porting the file IO, ZQ GUI, and sound handling will each require substantial effort.