/* Sample small program: the obligatory ``hello world'' sample. */#include <eros/target.h>#include <domain/domdbg.h>#define KR_SELF     2#define KR_BANK     4#define KR_OSTREAM  16intmain(void){  kprintf(KR_OSTREAM, "hello, world\n");  return 0;}