On Sun, Jun 10, 2001 at 05:39:54PM +0100, Georges Heinesch wrote:
..
> Summary:
> 
>     distributed /netbsd     4.749.749 Bytes
>     my compiled GENERIC     4.745.013 Bytes

I can't explain, the above, but

> GENERIC kernel should then be bigger as INSTALL. However, it;s the
> opposite (see above).

Nope as the INSTALL kernel needs to have room inside it for the root
filesystem it boots into.

> BTW, all of a sudden, I saw a /onetbsd kernel. What's that one?
                                 ^
                                 |
                               "old"

eg., you build a new kernel and do
mv /netbsd /onetbsd
cp netbsd /
...

Cheers,

Patrick