Here is a brief guide to run the ARM's official Mali OpenGL ES SDK on our Ubuntu OS.
Mali SDK for ODROID-C1