2008-12-31 Pedro Alves <pedro@codesourcery.com>