Newlib port for Patmos