2011-05-20 Pedro Alves <pedro@codesourcery.com>