I just finished school for the year, so I now have the time to start working on sbcl's win32 threading.
Right now I'm mainly working on understanding how to get win32 threads working in C, and getting to know the parts of sbcl source I'll need to work with. If anyone could suggest a good way to learn either area, or could point me to good resources documenting either topic, I would greatly appreciate it.
After that, I guess I'll be on to the list on http://paste.lisp.org/display/58376, assuming it correctly reflects what actually needs to get done in order to make threads work under win32 :)
"Any road followed precisely to its end leads precisely nowhere." - Frank Herbert