x86: fixes early core_id() calls
[akaros.git] / kern / arch / x86 / trap32.c
2013-06-28 Barret Rhodenx86_64: tracks stacktop in pcpui for sysenter
2013-06-12 Barret RhodenSplits x86 into 32 and 64 bit (XCC)