Tools to build and run AIOLOS on top of Android