... one objective that I have is to move all of the pthread logic out of the kernel and into libs/libs/pthread. The pthreads interfaces are not part of the kernel in other Unix-like implementations. The kernel does provide certain necessary hooks, but the majority of the implementation of the pthread logic is implemented in libpthread, in user-space and not within the kernel. This is a model that I think that NuttX should follow as well, but things are not well structured to do that now.
If you agree with this objective, than I can offer to help you. I think it important for NuttX to get into alignment with other Unix-like systems on this part of the design.