Fixed page coloring given __CONFIG_PAGE_COLOR__
[akaros.git] / tests / hello.c
1 #include <stdlib.h>
2 #include <rstdio.h>
3
4 int main(int argc, char** argv)
5 {
6         printf("Hello world from newlib!!\n");
7         return 0;
8 }