===========================================================================
$NetBSD: MESSAGE.linux-i386,v 1.1 2007/08/22 17:28:08 jlam Exp $

The PVS Specification and Verification System requires that the kernel
be built with the PROCFS option and that a procfs be mounted, e.g. add
the following line to /etc/fstab:

    procfs  /emul/linux/proc  procfs  rw,linux

===========================================================================