pthread_test() and supporting changes
[akaros.git] / tests / reboot.c
1 #include <stdio.h>
2 #include <parlib.h>
3
4 int main(int argc, char** argv)
5 {
6         printf("[Scottish Accent]: She's goin' down, Cap'n!\n");
7         sys_reboot();
8         printf("Doh!  Reboot returned...\n");
9         return -1;
10 }