I thought you might want to know what is going on.
1. The Kernel Team is designing kernel like the process managment, memory managment and also the an API that the servers can use with or with a functional kernel.
2. I'm doing a small article called LinksOS, which basicly contains all of our OS design. And I hope will grow into a reference manuel for developers.