See also http://atomicgameengine.com/ it's quite mature too.
It has an impressive feature list, including: "Cross-platform support using SDL 2.0 (currently runs on Windows, Linux, Mac OS X, Android, iOS, Raspberry Piv1.3 including other generic ARM boardsv1.6, and Webv1.4 with Emscripten toolchain)"