FYI,the latest version of HIPL has now basic support for Android platform. We have some unofficial binaries for some Nexus devices, but the spectrum of Android devices is quite large, so you have build and install manually. Building is instructed in the HIPL manual and the INSTALL file.
Android support was contributed by Juhani Toivonen from the University of Helsinki. Thanks for Diego Biurrun for feedback on improving the code.