Fixed page coloring given __CONFIG_PAGE_COLOR__
[akaros.git] / tests / idle.c
2011-11-03 Barret Rhodensys_halt_core() and an idle process