I'm wondering: does lwkt system has anything to do with userland threads? Do threaded programs linked with libc_r take advantage of SMP?