/dev/pcount installation instructions:

Become root and where <config> is the name of your configuration
(usually the name of the machine in all upper-case):

	# cat pcount.tar.Z  | uncompress | tar xvf -
	# cd pcount
	# ./INSTALL <config>

This will put the pcount device driver configuration information into
/sys/conf/.product.list and /sys/conf/<config>.list, if it exists.  If
you are using other third party drivers and have other configurations,
you will have to copy the PCOUNT line from .product.list to the other
<config>.list files.

Build the new kernel:

	# doconfig -c <config>

Test the new kernel:

	# mv /vmunix{,.good}
	# mv /sys/<config>/vmunix /
	# reboot


RELEASE NOTES

Kit 13 fixes a bug that caused multiprocessors with fast clocks to
panic.