Thank you for mentioning the Eudyptula Challenge [1]. It's not my cup of tea right now, but it sounds Really Cool for anyone interested in kernel programming.

1: http://eudyptula-challenge.org/