/*
 Copyright (C) 2011 J. Coliz <maniacbug@ymail.com>

 This program is free software; you can redistribute it and/or
 modify it under the terms of the GNU General Public License
 version 2 as published by the Free Software Foundation.
 */
 /*  Galileo support from spaniakos <spaniakos@gmail.com> */

/**
 * @file printf.h
 *
 * Setup necessary to direct stdout to the Arduino Serial library, which
 * enables 'printf'
 */

#ifndef __PRINTF_H__
#define __PRINTF_H__

#if defined (ARDUINO_ARCH_AVR) || defined(__ARDUINO_X86__)

int serial_putc( char c, FILE * )
{
  Serial.write( c );

  return c;
}
#endif

void printf_begin(void)
{
  #if defined (ARDUINO_ARCH_AVR)  
    fdevopen( &serial_putc, 0 );
    
  #elif defined (__ARDUINO_X86__)
    //JESUS - For reddirect stdout to /dev/ttyGS0 (Serial Monitor port)
    stdout = freopen("/dev/ttyGS0","w",stdout);
    delay(500);
    printf("redirecting to Serial...");
    
  #endif
}

#endif // __PRINTF_H__