threads: set stack pointer correctly for x86-64 - #120

threads: set stack pointer correctly for x86-64#120

lsf37 merged 1 commit into

masterseL4/sel4-tutorials:masterfrom

lsf37/threads-stackseL4/sel4-tutorials:lsf37/threads-stackCopy head branch name to clipboard