summaryrefslogtreecommitdiff
path: root/sys/dev/veriexec.config
AgeCommit message (Expand)Author
2019-04-26Add a configuration file for enabling Veriexec in kernel config(5) files.sevan