workloads/hw.c

   1 #define IOSPACE ((volatile int *) 0x1000000000000ULL)
   2
   3 void putchar(char ch)
   4 {
   5         if (ch == '\n')
   6                 putchar('\r');
   7
   8         while (IOSPACE[1])
   9                 ;
  10         IOSPACE[0] = ch;
  11 }
  12
  13 void puts(char *s)
  14 {
  15         while (*s)
  16                 putchar(*s++);
  17 }
  18
  19 int main()
  20 {
  21         puts("Hello world!\n");
  22 }