blob: cbbf4e4a5ebdc4c3f98ec1ec327c214242f15a67 (
plain)
1
2
3
4
5
6
7
|
==============================================================================
$NetBSD: MESSAGE,v 1.1.1.1 2002/09/24 17:57:25 jschauma Exp $
The PVS Specification and Verification System requires a kernel
built with 'COMPAT_LINUX' and 'PROCFS' enabled.
==============================================================================
|