2011-01-24 Pedro Alves <pedro@codesourcery.com>