sys_change_vcore() (XCC)
[akaros.git] / tests / buggyhello.c
1 // buggy hello world -- unmapped pointer passed to kernel
2 // kernel should destroy user process in response
3
4 #include <parlib.h>
5
6 int main(int argc, char** argv)
7 {
8         sys_cputs((char*SAFE)TC(1), 1);
9         return 0;
10 }
11