Kernel Repository ?? Config Files ??

[John van Vlaaderen]

Hello --

I am getting ready to create a student Bochs development environment 
including the latest uClibc-only env and Busybox.

uClibc and Busybox are easy.. but where do I get kernels ??

Or more useful -- where do I get config files and LinuxBIOS compile 
instructions and standards ??

Thx, John