10 lines
443 B
Text
10 lines
443 B
Text
===========================================================================
|
|
$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
|
|
|
|
===========================================================================
|