xref: /freebsd/sys/modules/veriexec/Makefile (revision dad64f0e)