#include "stdio.h"

__attribute__((constructor)) void main()
{
	unsigned int	i;
	char		    byte;
    unsigned int	proc = giet_procid();

	for( i=0 ; i<1000 ; i++ )
	{
		if( giet_tty_printf(" hello from processor %d\n", proc) )
		{
			giet_tty_puts("echec tty_printf\n");
			giet_exit();
		}
        if( giet_tty_getc((void*)&byte) )
        {
			giet_tty_puts("echec tty_getc_irq\n");
			giet_exit();
		} 
        if ( byte == 'q' ) giet_exit();
	}
    giet_exit();

} // end main