x86: Change idt_init() to not clobber num_cores
[akaros.git] / kern / include / kstack.h
2014-06-12 Barret RhodenConfig option for kernel stack size (XCC)