#include "stdio.h" __attribute__((constructor)) void main() { char byte; unsigned int proc = giet_procid(); unsigned int* illegal = (unsigned int*)0xFFFFFFF0; while (1) { giet_tty_printf(" hello from processor %d\n", proc); giet_tty_getc((void*)&byte); if ( byte == 'q' ) giet_exit(); if ( byte == 'x' ) *illegal = 1; } } // end main