Support library for ARM VMMs