diff options
| author | christos <christos@NetBSD.org> | 2007-06-24 21:17:31 +0000 |
|---|---|---|
| committer | christos <christos@NetBSD.org> | 2007-06-24 21:17:31 +0000 |
| commit | a65158cbe3bc5e511e390d5befa075f3c3eee613 (patch) | |
| tree | a1e886a3ae91cba2e950d3324a3dcdcdff31fb43 /sys | |
| parent | 2ffe4b875f63a793e29e46a4f0c01adb45bb47b0 (diff) | |
Add options FILEASSOC; needed for veriexec.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/arch/alpha/conf/GENERIC | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys/arch/alpha/conf/GENERIC b/sys/arch/alpha/conf/GENERIC index 40167cd79b4..ce458598915 100644 --- a/sys/arch/alpha/conf/GENERIC +++ b/sys/arch/alpha/conf/GENERIC @@ -1,4 +1,4 @@ -# $NetBSD: GENERIC,v 1.313 2007/06/04 08:55:19 martin Exp $ +# $NetBSD: GENERIC,v 1.314 2007/06/24 21:17:31 christos Exp $ # # This machine description file is used to generate the default NetBSD # kernel. @@ -19,7 +19,7 @@ include "arch/alpha/conf/std.alpha" options INCLUDE_CONFIG_FILE # embed config file in kernel binary -ident "GENERIC-$Revision: 1.313 $" +ident "GENERIC-$Revision: 1.314 $" maxusers 32 @@ -727,6 +727,8 @@ pseudo-device ksyms # /dev/ksyms pseudo-device lockstat # lock profiling pseudo-device btuart # Bluetooth HCI UART (H4) +#options FILEASSOC # fileassoc(9) - required for Veriexec + # Veriexec # # a pseudo device needed for veriexec |
