2010-04-23 Pedro Alves <pedro@codesourcery.com>