Android runtime library for the RV-Monitor environment. - View it on GitHub