The thanks for his work come from more than NetBSD..
he was instrumental in 386bsd0.1 and thus in the possibility for FreeBSD 
to exist too.

julian
> 
> > The NetBSD core group would like to extend our thanks for Chris' past
> > contributions, and look forward to his continuing participation in the
> > Project.
> 
> And I think ever user of NetBSD would too. Let me publicly thank Chris
> for all his help and efforts, and to make sure that he realises that
> we appreciate all the time, money and lack-of-sleep he has contributed
> to making NetBSD something to take pride in.
> 
> Thanks Chris, good luck with the /alpha work - we are likely to be
> buying units based on the fact that it runs NetBSD, and you can tell
> DEC that :-)
> 
> Regards,
> -- 
> Peter Galbavy                                           peter@wonderland.org
> @ Home                                                 phone://44/973/499465
> in Wonderland                              http://www.wonderland.org/~peter/
>                                snail://UK/NW1_6LE/London/21_Harewood_Avenue/
>