A better way to configure and manage kernels on Gentoo Linux
The Eudyptula Challenge
Research into porting the XNU kernel to ARM devices.