Lk (little kernel) is a small embedded kernel, written by Travis Geiselbrecht. It is being used as a bootloader for various embedded platforms, including Palm’s webOS and Google’s Android.
I have contributed the x86 port for lk, which is now part of the main line. You can find lk on Travis’ public git repository.