Fixed page coloring given __CONFIG_PAGE_COLOR__
[akaros.git] / tests / idle.c
1 #include <parlib.h>
2 #include <rstdio.h>
3
4 /* This will keep a core from spinning forever, but will also allow it to still
5  * schedule() and run _S processes. */
6 int main(int argc, char** argv)
7 {
8         while (1) {
9                 sys_halt_core(5000000); // 5 sec, adjust accordingly
10                 sys_yield(0);
11         }
12         return 0;
13 }