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