An Android game platform where developers can integrate their games as plugins