xref: /freebsd/sys/modules/veriexec/Makefile (revision 29332c0dcee1e80c9fb871e06c3160bd5deb1b44)