2011-11-15 Pedro Alves <pedro@codesourcery.com>