x86: fixes early core_id() calls
[akaros.git] / kern / arch / x86 / smp_entry64.S
2013-06-26 Barret Rhodenx86_64: smp_boot
2013-06-12 Barret RhodenSplits x86 into 32 and 64 bit (XCC)