If you can help me with the following things I would be very thankful:
1. How to build a TS-7200 gzipped kernel.
Well, _that_ part is easy, actually. Just gzip it!
But seriously ... when you build your kernel, you should have something
like "netbsd.bin", or "netbsd-wd0.bin" (if you are using a CF card, you
probably want the latter). First, gzip that (probably with -9).
Then, you need a file called "gzboot_TS7200_0x60660000.bin". That probably
lives in /usr/mdec on the TS7200 distribution media (you can also build
that via the cross-compilation environment by using "build.sh build".
Simply cat those together:
cat gzboot_TS7200_0x60660000.bin netbsd-wd0.bin.gz > netbsd.gz
And voila! Copy that to flash, and you're good to go.