In message <Pine.OSF.4.40.0111160739100.16040-100000@grover.WPI.EDU>, you write
: 

-> Is there a way to ensure that an ECOFF kernel was really built?

Run `file' on the kernel on your tftp server, it should tell you what
format the file is... (Sorry, don't have my tftp server up at the time
to check that it works/what is says).

--rafal

----
Rafal Boni                                                  rafal@mediaone.net