mirror of
https://github.com/freebsd/freebsd-src.git
synced 2024-11-30 08:43:23 +00:00
b77f618568
Add missing flags to veriexec(8) as well as some examples to help explain usage. Also add veriexec.4 Sponsored by: Juniper Networks, Inc. Reviewed by: imp Differential Revision: https://reviews.freebsd.org/D46207 |
||
---|---|---|
.. | ||
Makefile | ||
Makefile.depend | ||
manifest_lexer.l | ||
manifest_parser.y | ||
veriexec.8 | ||
veriexec.c | ||
veriexec.h |