devel/pvs/MESSAGE.linux-i386

   1 ===========================================================================
   2 $NetBSD: MESSAGE,v 1.2 2005/09/02 02:27:11 jschauma Exp $
   3
   4 The PVS Specification and Verification System requires that the kernel
   5 be built with the PROCFS option and that a procfs be mounted, e.g. add
   6 the following line to /etc/fstab:
   7
   8     procfs  /emul/linux/proc  procfs  rw,linux
   9
  10 ===========================================================================