[src/trunk]: src/sys/dev Add a configuration file for enabling Veriexec in ke...

[sevan <sevan%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/dcd6549f3205
branches:  trunk
changeset: 450819:dcd6549f3205
user:      sevan <sevan%NetBSD.org@localhost>
date:      Fri Apr 26 18:41:24 2019 +0000

description:
Add a configuration file for enabling Veriexec in kernel config(5) files.

diffstat:

 sys/dev/veriexec.config |  18 ++++++++++++++++++
 1 files changed, 18 insertions(+), 0 deletions(-)

diffs (22 lines):

diff -r df2c61213b51 -r dcd6549f3205 sys/dev/veriexec.config
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/sys/dev/veriexec.config   Fri Apr 26 18:41:24 2019 +0000
@@ -0,0 +1,18 @@
+# $NetBSD: veriexec.config,v 1.1 2019/04/26 18:41:24 sevan Exp $
+#
+# This file contains all Veriexec related configuration.
+# It is suitable for inclusion in a kernel config(5) file.
+#
+
+options        FILEASSOC               # fileassoc(9) - needed by Veriexec
+                                       # and PAX_SEGVGUARD
+
+# a pseudo device needed for veriexec
+pseudo-device  veriexec
+#
+# Note that removing fingerprint methods will have almost no impact on the
+# kernel code size.
+#
+options VERIFIED_EXEC_FP_SHA256
+options VERIFIED_EXEC_FP_SHA384
+options VERIFIED_EXEC_FP_SHA512