Hi Patrick,

patrimith wrote on Mon, Dec 03, 2007 at 12:02:18PM -0800:

quoted text
> kern.version=OpenBSD 4.2 (GENERIC) #375: Tue Aug 28 10:38:44 MDT 2007
>     deraadt@i386.openbsd.org:/usr/src/sys/arch/i386/compile/GENERIC 
> 
> This is the one that I just installed. It does not report being one of
> -release, -stable or -current,

It does:  "4.2 (" is release.  See line 70 of
http://www.openbsd.org/cgi-bin/cvsweb/src/sys/conf/newvers.sh?annotate=1.85

quoted text
> but as per another posting, I am hoping that
> it is that official 4.2 release.

Unless somebody did forgery on it, it is, see e.g.
ftp://ftp-stud.fht-esslingen.de/pub/OpenBSD/4.2/i386/bsd
or your favourite mirror.  Use checksumming if in doubt.

But again, having the correct kernel does not tell
you the rest of your operating system is not borked.

Yours,
  Ingo