Aren
/
NetBSD
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Move veriexec stuff from GENERIC to (common) GENERIC32.

This commit is contained in:
tsutsui 2005-12-10 14:46:37 +00:00
parent 3922f98c0e
commit 13fec570ce
2 changed files with 22 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
sys/arch/sparc64/conf/GENERIC
View File

@ -1,4 +1,4 @@
# $NetBSD: GENERIC,v 1.51 2005/12/09 23:34:03 elad Exp $
# $NetBSD: GENERIC,v 1.52 2005/12/10 14:46:37 tsutsui Exp $
#
# GENERIC machine description file
#
@ -20,7 +20,7 @@
include "arch/sparc64/conf/GENERIC32"
#ident "GENERIC-$Revision: 1.51 $"
#ident "GENERIC-$Revision: 1.52 $"
include "arch/sparc64/conf/std.sparc64-64"
@ -34,21 +34,3 @@ options COMPAT_SVR4_32 # SunOS 5.x 32-bit binary compatibility
#makeoptions DEBUG="-g"
#options DEBUG
#options SYSCALL_DEBUG
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
#
# Uncomment the fingerprint methods below that are desired. Note that
# removing fingerprint methods will have almost no impact on the kernel
# code size.
#
#options VERIFIED_EXEC_FP_RMD160
#options VERIFIED_EXEC_FP_SHA256
#options VERIFIED_EXEC_FP_SHA384
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5

22
sys/arch/sparc64/conf/GENERIC32
View File

@ -1,10 +1,10 @@
# $NetBSD: GENERIC32,v 1.123 2005/12/07 09:10:19 tsutsui Exp $
# $NetBSD: GENERIC32,v 1.124 2005/12/10 14:46:37 tsutsui Exp $
include "arch/sparc64/conf/std.sparc64"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "GENERIC-$Revision: 1.123 $"
#ident "GENERIC-$Revision: 1.124 $"
maxusers 64
@ -825,3 +825,21 @@ pseudo-device ksyms # /dev/ksyms
#pseudo-device pf # PF packet filter
#pseudo-device pflog # PF log if
pseudo-device fss 4 # file system snapshot device
# Veriexec
#options VERIFIED_EXEC
#
# a pseudo device needed for veriexec
#pseudo-device veriexec 1
#
# Uncomment the fingerprint methods below that are desired. Note that
# removing fingerprint methods will have almost no impact on the kernel
# code size.
#
#options VERIFIED_EXEC_FP_RMD160
#options VERIFIED_EXEC_FP_SHA256
#options VERIFIED_EXEC_FP_SHA384
#options VERIFIED_EXEC_FP_SHA512
#options VERIFIED_EXEC_FP_SHA1
#options VERIFIED_EXEC_FP_MD5