Toledo is an open source kernel with great capabilities (better than OpenMX). You can easily create an OS out of it Current version: 1.0 lite
note: Make sure to do the oobe before touching anything on the desktop