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! so may be we'll get a little closer to doing some more work.
I have been...