I am looking for OpenGL benchmarking tool(s) for Ubuntu 10.10 on an ARM system. Ideally, I would like something that gives at least the framerate of a running OpenGL or OpenGL ES application. If anyone knows of any such tools, I'd appreciate your input very much.
EDIT: A benchmarking tool that processes traces would also be great. Thanks again.