summaryrefslogtreecommitdiff
path: root/devel/pvs/MESSAGE.linux-i386
blob: d1f88344c88b6dda60e9f1037f8d3f64281bd027 (plain)
1
2
3
4
5
6
7
8
9
10
===========================================================================
$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

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