I doubt it is Tux Racer, it could be Mario64 but I think it is more likely to be a game called Pen Pen Tricelon which is a penguin themed racing game. It has been released for Sega Dreamcast. Regards, Paul C