Current K42 Development
This page outlines some of the current areas of K42 development, and who's doing what. If you're working on K42, feel free to add a section here.
Linux/Application Compatibility
OrranKrieger is implementing NamedPipesAndSockets.
ChrisYeoh and JeremyKerr are working on booting using a gentoo root filesystem, and using the default /sbin/init. Also, sshd support is nearly complete.
Research Areas
AndrewBaumann is working on dynamic update and hot-swapping for his PhD.