x86: Uses rbx for the initial vcoreid (XCC)
[akaros.git] / kern / arch / x86 / setjmp64.S
2014-06-12 Barret RhodenSlimmer setjmps
2013-08-08 Kevin KluesAdded setjmp/longjmp support to the kernel