[patch 12/12] syslets: x86_64: add syslet/threadlet support

From: Ingo Molnar <[EMAIL PROTECTED]> add the arch specific bits of syslet/threadlet support to x86_64. Signed-off-by: Ingo Molnar <[EMAIL PROTECTED]> --- arch/x86_64/Kconfig|4 ++ arch/x86_64/ia32/ia32entry.S | 20 ++- arch/x86_64/kernel/entry.S | 72

[patch 12/12] syslets: x86_64: add syslet/threadlet support

From: Ingo Molnar [EMAIL PROTECTED] add the arch specific bits of syslet/threadlet support to x86_64. Signed-off-by: Ingo Molnar [EMAIL PROTECTED] --- arch/x86_64/Kconfig|4 ++ arch/x86_64/ia32/ia32entry.S | 20 ++- arch/x86_64/kernel/entry.S | 72