blob: 1c8ae05365f200171ea18394983b5197da48b11b (
plain)
1
2
3
4
5
6
7
|
===========================================================================
$NetBSD: MESSAGE,v 1.2 2005/09/02 02:27:11 jschauma Exp $
The PVS Specification and Verification System requires a kernel
built with 'COMPAT_LINUX' and 'PROCFS' enabled.
===========================================================================
|
