sys_change_vcore() (XCC)
[akaros.git] / tests / hello.c
1 #include <stdlib.h>
2 #include <stdio.h>
3 #include <parlib.h>
4
5 int main(int argc, char** argv)
6 {
7         printf("Hello world from program %s!!\n", argv[0]);
8         sys_block(5000);
9         printf("Done\n");
10         return 0;
11 }