void main( void )
{
   uart_config();  // Set-up the UART as required

   printf( "rnHello, serial printer!rn" );
}