A new kernel I am developing in my spare time. The eventual solution I hope will involve a 32 bit base kernel and 64 bit extensions therefore maximising compatibility with non 64 bit machines. Database oriented. Checkout http://www.love2code.org
UPDATE 18-Dec-2011
Updates haven't occurred for some time (April) due to working and studying for my Computer Science degree at the University of Ulster, but it's Christmas!