These files are Copyright (C) 2011-2012 Linaro Limited and they
are licensed under the Apache License, Version 2.0.
You may obtain a copy of this license at
http://www.apache.org/licenses/LICENSE-2.0