#include "stdio.h" __attribute__((constructor)) void main() { unsigned int i; char byte; unsigned int proc = procid(); for( i=0 ; i<1000 ; i++ ) { if( tty_printf(" hello from processor %d\n", proc) ) { 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(); } // end main