Star Wars: Galactic Racer is out now - running quite nicely on SteamOS / Linux
(www.gamingonlinux.com)
I guess it's around 4 games since the end of the 90s. So there definitely aren't many of them or that heavily marketed (that I'm aware of ) :).