http://www.research.ibm.com/K42/
The K42 project wiki: http://k42.ozlabs.org/Wiki/
Notes on using git for k42 development: k42-git
Edgar's Notes on K42
K42, it's not as easy to use as Linux …
AMD64 Port
Matthew's Notes on building K42 Userland (aka k42-packages)