Home | History | Annotate | Download | only in dev
History log of /src/sys/dev/veriexec.config
RevisionDateAuthorComments
 1.1  26-Apr-2019  sevan branches: 1.1.2; 1.1.4; 1.1.6;
Add a configuration file for enabling Veriexec in kernel config(5) files.
 1.1.6.2  10-Jun-2019  christos Sync with HEAD
 1.1.6.1  26-Apr-2019  christos file veriexec.config was added on branch phil-wifi on 2019-06-10 22:07:04 +0000
 1.1.4.2  01-May-2019  martin Pull up following revision(s), via patch as options
differ on the branch (requested by sevan in ticket #1691):

sys/dev/veriexec.config: revision 1.1

Add a configuration file for enabling Veriexec in kernel config(5) files.
 1.1.4.1  26-Apr-2019  martin file veriexec.config was added on branch netbsd-7 on 2019-05-01 09:47:05 +0000
 1.1.2.2  01-May-2019  martin Pull up following revision(s) via patch, as options differ between
current and this branch (requested by sevan in ticket #1251):

sys/dev/veriexec.config: revision 1.1

Add a configuration file for enabling Veriexec in kernel config(5) files.
 1.1.2.1  26-Apr-2019  martin file veriexec.config was added on branch netbsd-8 on 2019-05-01 09:04:24 +0000

RSS XML Feed