Remove obsolete #options VERIFIED_EXEC, found by grep(1).

This commit is contained in:
tsutsui 2006-08-26 07:59:21 +00:00
parent edb23da2a3
commit 6ff205ce76
48 changed files with 82 additions and 150 deletions

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.45 2006/08/12 15:29:52 christos Exp $
# $NetBSD: GENERIC,v 1.46 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -269,7 +269,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.74 2006/08/19 23:01:23 bjh21 Exp $
# $NetBSD: GENERIC,v 1.75 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC --- NetBSD/acorn32 complete configuration
#
@ -22,7 +22,7 @@ include "arch/acorn32/conf/std.acorn32"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.74 $"
#ident "GENERIC-$Revision: 1.75 $"
# estimated number of users
maxusers 32
@ -360,7 +360,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -22,7 +22,7 @@ include "arch/alpha/conf/std.alpha"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.292 $"
#ident "GENERIC-$Revision: 1.293 $"
maxusers 32
@ -657,7 +657,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.104 2006/08/14 06:22:33 skrll Exp $
# $NetBSD: GENERIC,v 1.105 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/amd64/conf/std.amd64"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.104 $"
#ident "GENERIC-$Revision: 1.105 $"
maxusers 32 # estimated number of users
@ -893,7 +893,6 @@ pseudo-device wsfont
#options FILEASSOC_NHOOKS=4 # Default number of storage slots
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC.in,v 1.54 2006/08/12 15:29:52 christos Exp $
# $NetBSD: GENERIC.in,v 1.55 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -56,7 +56,7 @@ include "arch/amiga/conf/std.amiga"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.54 $"
#ident "GENERIC-$Revision: 1.55 $"
m4_ifdef(`INSTALL_CONFIGURATION', `m4_dnl
makeoptions COPTS="-Os"
@ -634,7 +634,6 @@ pseudo-device nsmb # experimental - SMB requester
')m4_dnl
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.141 2006/08/12 15:29:52 christos Exp $
# $NetBSD: GENERIC,v 1.142 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/arc/conf/std.arc"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.141 $"
#ident "GENERIC-$Revision: 1.142 $"
maxusers 32 # estimated number of users
@ -461,7 +461,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.100 2006/08/12 15:29:52 christos Exp $
# $NetBSD: GENERIC,v 1.101 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/bebox/conf/std.bebox"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.100 $"
#ident "GENERIC-$Revision: 1.101 $"
maxusers 32
@ -151,7 +151,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.108 2006/08/14 06:22:33 skrll Exp $
# $NetBSD: GENERIC,v 1.109 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -600,7 +600,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.44 2006/08/12 15:29:52 christos Exp $
# $NetBSD: GENERIC,v 1.45 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -152,7 +152,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.102 2006/08/22 16:30:41 tsutsui Exp $
# $NetBSD: GENERIC,v 1.103 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/cobalt/conf/std.cobalt"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.102 $"
#ident "GENERIC-$Revision: 1.103 $"
maxusers 32
@ -367,7 +367,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.72 2006/08/12 15:29:52 christos Exp $
# $NetBSD: GENERIC,v 1.73 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -232,7 +232,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: ARMADILLO210,v 1.2 2006/02/13 12:24:22 hamajima Exp $
# $NetBSD: ARMADILLO210,v 1.3 2006/08/26 07:59:21 tsutsui Exp $
#
# ARMADILLO210 -- Atmark Techno, Armadillo-210
#
@ -72,9 +72,6 @@ options INET6 # IPV6
#options IPFILTER_DEFAULT_BLOCK # block all packets by default
#options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG
# These options control the verified exec feature
#options VERIFIED_EXEC
options NFS_BOOT_BOOTP
#options NFS_BOOT_DHCP
#options NFS_BOOT_BOOTPARAM

View File

@ -1,4 +1,4 @@
# $NetBSD: ARMADILLO9,v 1.13 2006/08/12 15:29:52 christos Exp $
# $NetBSD: ARMADILLO9,v 1.14 2006/08/26 07:59:21 tsutsui Exp $
#
# ARMADILLO9 -- Atmark Techno, Armadillo-9
#
@ -72,9 +72,6 @@ options INET6 # IPV6
#options IPFILTER_DEFAULT_BLOCK # block all packets by default
#options TCP_DEBUG # Record last TCP_NDEBUG packets with SO_DEBUG
# These options control the verified exec feature
#options VERIFIED_EXEC
options NFS_BOOT_BOOTP
options NFS_BOOT_DHCP
#options NFS_BOOT_BOOTPARAM

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.11 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.12 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
# This machine description file is used to generate the default NetBSD
@ -25,7 +25,7 @@ include "arch/ews4800mips/conf/std.ews4800mips"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.11 $"
#ident "GENERIC-$Revision: 1.12 $"
maxusers 16
@ -284,7 +284,6 @@ pseudo-device ksyms # /dev/ksyms
pseudo-device wsmux
# Veriexec
#options VERIFIED_EXEC
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.133 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.134 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/hp300/conf/std.hp300"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.133 $"
#ident "GENERIC-$Revision: 1.134 $"
maxusers 32 # estimated number of users
@ -307,7 +307,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -322,4 +321,3 @@ pseudo-device ksyms # /dev/ksyms
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.68 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.69 2006/08/26 07:59:21 tsutsui Exp $
#
# GENERIC machine description file
#
@ -23,7 +23,7 @@ include "arch/hp700/conf/std.hp700"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel
#ident "GENERIC-$Revision: 1.68 $"
#ident "GENERIC-$Revision: 1.69 $"
maxusers 32 # estimated number of users
@ -578,7 +578,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.191 2006/08/14 06:22:33 skrll Exp $
# $NetBSD: GENERIC,v 1.192 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -24,7 +24,7 @@ include "arch/hpcmips/conf/std.hpcmips.tx39"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.191 $"
#ident "GENERIC-$Revision: 1.192 $"
maxusers 16
@ -690,7 +690,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.68 2006/06/28 15:19:28 liamjfoy Exp $
# $NetBSD: GENERIC,v 1.69 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -346,7 +346,6 @@ pseudo-device wsmux # mouse & keyboard multiplexor
#wskbd* at hpf1275a? mux 1
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.25 2006/07/31 23:29:54 hubertf Exp $
# $NetBSD: GENERIC,v 1.26 2006/08/26 07:59:22 tsutsui Exp $
#
#
@ -282,7 +282,6 @@ pseudo-device ksyms
pseudo-device clockctl
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.31 2006/08/14 06:22:34 skrll Exp $
# $NetBSD: GENERIC,v 1.32 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC -- Generic kernel
#
@ -515,7 +515,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device dmoverio # /dev/dmover dmover(9) interface
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.73 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.74 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/luna68k/conf/std.luna68k"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.73 $"
#ident "GENERIC-$Revision: 1.74 $"
maxusers 8
@ -208,7 +208,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.174 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.175 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/mac68k/conf/std.mac68k"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.174 $"
#ident "GENERIC-$Revision: 1.175 $"
maxusers 16 # estimated number of users
@ -351,7 +351,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.233 2006/08/22 06:49:55 riz Exp $
# $NetBSD: GENERIC,v 1.234 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/macppc/conf/std.macppc"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.233 $"
#ident "GENERIC-$Revision: 1.234 $"
maxusers 32
@ -555,7 +555,6 @@ pseudo-device nsmb # SMB requester
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.60 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.61 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -203,7 +203,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.82 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.83 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/mmeye/conf/std.mmeye"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.82 $"
#ident "GENERIC-$Revision: 1.83 $"
maxusers 16 # estimated number of users
@ -241,7 +241,6 @@ pseudo-device ksyms # /dev/ksyms
#options MEMORY_DISK_ROOT_SIZE=3074 # size of memory disk, in blocks
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.68 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.69 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/mvme68k/conf/std.mvme68k"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.68 $"
#ident "GENERIC-$Revision: 1.69 $"
# Boards this kernel supports
options MVME147
@ -154,7 +154,6 @@ pseudo-device rnd # /dev/random and in-kernel generator
#options RND_COM # use "com" randomness as well (BROKEN)
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.82 2006/08/12 15:29:53 christos Exp $
# $NetBSD: GENERIC,v 1.83 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -326,7 +326,6 @@ pseudo-device wsmux # mouse & keyboard multiplexor
#pseudo-device wsfont
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.80 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.81 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/news68k/conf/std.news68k"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.80 $"
#ident "GENERIC-$Revision: 1.81 $"
maxusers 8
@ -266,7 +266,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.93 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.94 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/newsmips/conf/std.newsmips"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.93 $"
#ident "GENERIC-$Revision: 1.94 $"
maxusers 16
@ -240,7 +240,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.104 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.105 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/next68k/conf/std.next68k"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.104 $"
#ident "GENERIC-$Revision: 1.105 $"
# Needs to be set per system. i.e change these as you see fit
maxusers 16
@ -275,7 +275,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.93 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.94 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/ofppc/conf/std.ofppc"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.93 $"
#ident "GENERIC-$Revision: 1.94 $"
maxusers 32
@ -220,7 +220,6 @@ options FIREPOWER_MX # Firepower MX
options FIREPOWER_LX # Firepower LX
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.64 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.65 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/pc532/conf/std.pc532"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.64 $"
#ident "GENERIC-$Revision: 1.65 $"
maxusers 8 # estimated number of users
@ -141,7 +141,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -156,4 +155,3 @@ pseudo-device ksyms # /dev/ksyms
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.26 2006/06/28 15:19:28 liamjfoy Exp $
# $NetBSD: GENERIC,v 1.27 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/pdp10/conf/std.pdp10"
#options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.26 $"
#ident "GENERIC-$Revision: 1.27 $"
# Here are all different supported CPU types listed.
options KL10
@ -176,7 +176,6 @@ hp* at rh? drive? # RM/RP disk drives
#pseudo-device leds # control the leds on vaxstations.
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -191,4 +190,3 @@ hp* at rh? drive? # RM/RP disk drives
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.7 2005/12/09 23:34:03 elad Exp $
# $NetBSD: GENERIC,v 1.8 2006/08/26 07:59:22 tsutsui Exp $
#
# GENERIC machine description file
#
@ -42,7 +42,6 @@ config netbsd root on ? type ?
#makeoptions DEFGP="-G 48"
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -57,4 +56,3 @@ config netbsd root on ? type ?
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.147 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.148 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/pmax/conf/std.pmax"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.147 $"
#ident "GENERIC-$Revision: 1.148 $"
maxusers 64
@ -317,7 +317,6 @@ pseudo-device wsfont # wsfont control device
pseudo-device wsmux # wsmux control device
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -332,4 +331,3 @@ pseudo-device wsmux # wsmux control device
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.125 2006/08/14 06:22:34 skrll Exp $
# $NetBSD: GENERIC,v 1.126 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -24,7 +24,7 @@ options INCLUDE_CONFIG_FILE # embed config file in kernel binary
makeoptions COPTS="-Os -mmultiple" # -Os -mmultiple to reduce size.
#ident "GENERIC-$Revision: 1.125 $"
#ident "GENERIC-$Revision: 1.126 $"
maxusers 32
@ -576,7 +576,6 @@ pseudo-device wsmux # mouse & keyboard multiplexor
pseudo-device wsfont
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,11 +1,10 @@
# $NetBSD: GENERIC,v 1.35 2005/12/09 23:34:03 elad Exp $
# $NetBSD: GENERIC,v 1.36 2006/08/26 07:59:23 tsutsui Exp $
include "arch/sandpoint/conf/GENERIC.sandpoint"
options OPENPIC_SERIAL_MODE
options ALTIVEC
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -20,4 +19,3 @@ options ALTIVEC
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,10 +1,10 @@
# $NetBSD: GENERIC,v 1.54 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.55 2006/08/26 07:59:23 tsutsui Exp $
include "arch/sbmips/conf/std.sbmips"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.54 $"
#ident "GENERIC-$Revision: 1.55 $"
#options LOCKDEBUG # XXX XXX XXX XXX
#options DEBUG # extra kernel debugging support
@ -202,7 +202,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device vcoda 4 # coda minicache <-> venus comm.
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -217,4 +216,3 @@ pseudo-device ksyms # /dev/ksyms
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC32_IP2x,v 1.53 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC32_IP2x,v 1.54 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC32_IP2x machine description file
#
@ -29,7 +29,7 @@ makeoptions TEXTADDR=0x88069000 # entry point
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC32-IP2x-$Revision: 1.53 $"
#ident "GENERIC32-IP2x-$Revision: 1.54 $"
maxusers 32
@ -316,7 +316,6 @@ pseudo-device irix_kmem # IRIX /dev/kmem
pseudo-device irix_usema # IRIX /dev/usema
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -331,4 +330,3 @@ pseudo-device irix_usema # IRIX /dev/usema
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC32_IP3x,v 1.54 2006/08/14 06:22:35 skrll Exp $
# $NetBSD: GENERIC32_IP3x,v 1.55 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC32_IP3x machine description file
#
@ -28,7 +28,7 @@ makeoptions TEXTADDR="0x80069000" # entry point
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC32_IP3x-$Revision: 1.54 $"
#ident "GENERIC32_IP3x-$Revision: 1.55 $"
maxusers 32
@ -459,7 +459,6 @@ pseudo-device irix_kmem # IRIX /dev/kmem
pseudo-device irix_usema # IRIX /dev/usema
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -474,4 +473,3 @@ pseudo-device irix_usema # IRIX /dev/usema
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.64 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.65 2006/08/26 07:59:23 tsutsui Exp $
#
# Generic Shark configuration.
#
@ -7,7 +7,7 @@ include "arch/shark/conf/std.shark"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.64 $"
#ident "GENERIC-$Revision: 1.65 $"
# estimated number of users
maxusers 32
@ -315,7 +315,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -330,4 +329,3 @@ pseudo-device ksyms # /dev/ksyms
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.190 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.191 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/sparc/conf/std.sparc"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.190 $"
#ident "GENERIC-$Revision: 1.191 $"
maxusers 32
@ -695,7 +695,6 @@ pseudo-device ksyms # /dev/ksyms
pseudo-device fss 4 # file system snapshot device
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -710,4 +709,3 @@ pseudo-device fss 4 # file system snapshot device
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.62 2006/08/23 09:16:40 jnemeth Exp $
# $NetBSD: GENERIC,v 1.63 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/sparc64/conf/std.sparc64"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.62 $"
#ident "GENERIC-$Revision: 1.63 $"
maxusers 64
@ -858,7 +858,6 @@ pseudo-device fss 4 # file system snapshot device
#options FILEASSOC_NHOOKS=4 # Default number of storage slots
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.57 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.58 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -25,7 +25,7 @@ include "arch/sun2/conf/std.sun2"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.57 $"
#ident "GENERIC-$Revision: 1.58 $"
# Machines to be supported by this kernel
#options FPU_EMULATE
@ -300,7 +300,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -315,4 +314,3 @@ pseudo-device ksyms # /dev/ksyms
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.133 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.134 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -25,7 +25,7 @@ include "arch/sun3/conf/std.sun3"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.133 $"
#ident "GENERIC-$Revision: 1.134 $"
# Machines to be supported by this kernel
options FPU_EMULATE
@ -299,7 +299,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -314,4 +313,3 @@ pseudo-device ksyms # /dev/ksyms
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC3X,v 1.90 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC3X,v 1.91 2006/08/26 07:59:23 tsutsui Exp $
# GENERIC Sun3X (3/80, 3/470)
# Supports root on: ie0, le0, sd*, ...
@ -7,7 +7,7 @@ include "arch/sun3/conf/std.sun3x"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC3X-$Revision: 1.90 $"
#ident "GENERIC3X-$Revision: 1.91 $"
# Machines to be supported by this kernel
#options FPU_EMULATE # XXX - Ever needed?
@ -287,7 +287,6 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -302,4 +301,3 @@ pseudo-device ksyms # /dev/ksyms
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.153 2006/08/12 15:29:54 christos Exp $
# $NetBSD: GENERIC,v 1.154 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/vax/conf/std.vax"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.153 $"
#ident "GENERIC-$Revision: 1.154 $"
# Here are all different supported CPU types listed.
#options VAX8800 # VAX 8500, 8530, 8550, 8700, 8800
@ -335,7 +335,6 @@ pseudo-device wsmux # mouse & keyboard multiplexor
#pseudo-device pflog # PF log if
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -350,4 +349,3 @@ pseudo-device wsmux # mouse & keyboard multiplexor
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.129 2006/08/14 06:22:35 skrll Exp $
# $NetBSD: GENERIC,v 1.130 2006/08/26 07:59:23 tsutsui Exp $
#
# GENERIC machine description file
#
@ -22,7 +22,7 @@ include "arch/x68k/conf/std.x68k"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.129 $"
#ident "GENERIC-$Revision: 1.130 $"
maxusers 8
@ -524,7 +524,6 @@ pseudo-device ksyms # /dev/ksyms
pseudo-device fss 4 # file system snapshot device
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
@ -539,4 +538,3 @@ pseudo-device fss 4 # file system snapshot device
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5