[manekineko]

Directions were great, thanks Nate!

For some reason building the kernel with the Google prebuild tools resulted in non-booting for me. Didn't even show the black screen before freeze on Haret.

Switched to CodeSourcery on emwe's advice that that's what most of the devs are using, and now all is well and booting. Might add a note into the first post that if using CodeSourcery, you just need to change the make line to point correctly to arm-none-eabi-gcc (full path is ~/CodeSourcery/Sourcery_G++_Lite/bin/arm-none-eabi-gcc for me when I installed the package from CodeSourcery rather than the one from your first post).

For some reason my build differs from the autobuild in size still, but hey, at least it's booting.