timer works in bochs and on physical machine. need global definition for bochs...
[akaros.git] / lib / exit.c
1
2 #include <inc/lib.h>
3
4 void
5 exit(void)
6 {
7         sys_env_destroy(0);
8 }
9