sys_change_vcore() (XCC)
[akaros.git] / tests / null.c
1 #include <stdlib.h>
2
3 int main(int argc, char** argv)
4 {
5         return 0;
6 }