Developers at Linaro have optimised version 4.0.4 of Google’s open source Android mobile operating system so that it runs up to twice as fast, thanks to a newer compiler and special optimisations for ARM