[PATCH 6/6] syslets: add both 32bit and 64bit x86 syslet support

This adds the architecture-specific routines needed by syslets for x86. The syslet thread creation routines create a new thread which executes a kernel function and then returns to userspace instead of exiting. move_user_context() and set_user_frame() let the scheduler modify a child thread so

[PATCH 6/6] syslets: add both 32bit and 64bit x86 syslet support

This adds the architecture-specific routines needed by syslets for x86. The syslet thread creation routines create a new thread which executes a kernel function and then returns to userspace instead of exiting. move_user_context() and set_user_frame() let the scheduler modify a child thread so