1Enable building 2.Xr veriexec 8 3which loads the contents of verified manifests into the kernel 4for use by 5.Xr mac_veriexec 4 6.Pp 7Depends on 8.Va WITH_BEARSSL . 9