#include "stdio.h"

int main()
{
    int 	i;
    char	byte;

    for( i=0 ; i<1000 ; i++ )
    {
        if( tty_printf( " hello from processor %d\n", procid() ) )
        {
            tty_puts("echec tty_printf\n");
            exit();
        }
        if( tty_getc_irq((void*)&byte) )
        {
            tty_puts("echec tty_getc_irq\n");
            exit();
        }
        if(byte == 'q') exit();
    }

    exit();

    return 0;
} // end main