A lot of those probably won’t work as some are proprietary, some are far too much for a pi’s processing to handle, some don’t have an open source code- we need access to the source in order for them to work. But it looked like some did have raspberry pi builds that might work, but I’m not sure of the viability in adding them to retropie but the final say is up to buzz and Florian. I’ll look through them in more detail later and mark which ones are even worth looking at for testing on the pi, and perhaps write up a quick how to on compiling/ tarballs etc so you can try them out yourself.
I think adding the games to the setup script (install additional games) would be the best idea. I, personally, don’t play any of the ported games on the Pi. I have a PC for that. So they really just waste space on my Pi. But for people that would like the games, it would be great to have the ability to install them and links in the Ports section. 🙂