How does one go about coaxing build.sh to build the gzboot versions of 
the kernel in

   /usr/src/sys/arch/evbarm/stand/gzboot

I've successfully build the kernels for TS7200, but build.sh ignored the 
above directory.

Does one have to build the entire distribution?

Or do you have to set the many environment variables required and run 
Makefile.gzboot manually?  (If so, details would be appreciated!)

Thanks!