sbin/veriexec file gid=0 mode=555 nlink=1 size=772832 uid=0 flags=none
	usr/include/bearssl.h file gid=0 mode=444 nlink=1 size=7219 uid=0 flags=none
	usr/include/bearssl_aead.h file gid=0 mode=444 nlink=1 size=41036 uid=0 flags=none
	usr/include/bearssl_block.h file gid=0 mode=444 nlink=1 size=89199 uid=0 flags=none
	usr/include/bearssl_ec.h file gid=0 mode=444 nlink=1 size=33770 uid=0 flags=none
	usr/include/bearssl_hash.h file gid=0 mode=444 nlink=1 size=44872 uid=0 flags=none
	usr/include/bearssl_hmac.h file gid=0 mode=444 nlink=1 size=8413 uid=0 flags=none
	usr/include/bearssl_kdf.h file gid=0 mode=444 nlink=1 size=10049 uid=0 flags=none
	usr/include/bearssl_pem.h file gid=0 mode=444 nlink=1 size=10442 uid=0 flags=none
	usr/include/bearssl_prf.h file gid=0 mode=444 nlink=1 size=5465 uid=0 flags=none
	usr/include/bearssl_rand.h file gid=0 mode=444 nlink=1 size=14023 uid=0 flags=none
	usr/include/bearssl_rsa.h file gid=0 mode=444 nlink=1 size=58923 uid=0 flags=none
	usr/include/bearssl_ssl.h file gid=0 mode=444 nlink=1 size=151450 uid=0 flags=none
	usr/include/bearssl_x509.h file gid=0 mode=444 nlink=1 size=49422 uid=0 flags=none
	usr/include/libsecureboot.h file gid=0 mode=444 nlink=1 size=3298 uid=0 flags=none
	usr/include/libveriexec.h file gid=0 mode=444 nlink=1 size=2377 uid=0 flags=none
	usr/lib/libbearssl.a file gid=0 mode=444 nlink=1 size=1584598 uid=0 flags=none
	usr/lib/libbearssl.so link gid=0 nlink=1 uid=0 flags=none
	usr/lib/libbearssl.so.5 file gid=0 mode=444 nlink=1 size=257088 uid=0 flags=none
	usr/lib/libsecureboot.a file gid=0 mode=444 nlink=1 size=115086 uid=0 flags=none
	usr/lib/libsecureboot.so link gid=0 nlink=1 uid=0 flags=none
	usr/lib/libsecureboot.so.5 file gid=0 mode=444 nlink=1 size=24808 uid=0 flags=none
	usr/lib/libveriexec.a file gid=0 mode=444 nlink=1 size=33438 uid=0 flags=none
	usr/lib/libveriexec.so link gid=0 nlink=1 uid=0 flags=none
	usr/lib/libveriexec.so.5 file gid=0 mode=444 nlink=1 size=9480 uid=0 flags=none
	usr/lib/debug/sbin/veriexec.debug file gid=0 mode=444 nlink=1 size=1576720 uid=0 flags=none
	usr/lib/debug/usr/lib/libbearssl.so.5.debug file gid=0 mode=444 nlink=1 size=1065344 uid=0 flags=none
	usr/lib/debug/usr/lib/libsecureboot.so.5.debug file gid=0 mode=444 nlink=1 size=69776 uid=0 flags=none
	usr/lib/debug/usr/lib/libveriexec.so.5.debug file gid=0 mode=444 nlink=1 size=20984 uid=0 flags=none
	usr/lib/debug/usr/lib32/libbearssl.so.5.debug file gid=0 mode=444 nlink=1 size=764668 uid=0 flags=none
	usr/lib/debug/usr/lib32/libsecureboot.so.5.debug file gid=0 mode=444 nlink=1 size=67552 uid=0 flags=none
	usr/lib/debug/usr/lib32/libveriexec.so.5.debug file gid=0 mode=444 nlink=1 size=18512 uid=0 flags=none
	usr/lib32/libbearssl.a file gid=0 mode=444 nlink=1 size=1098002 uid=0 flags=none
	usr/lib32/libbearssl.so link gid=0 nlink=1 uid=0 flags=none
	usr/lib32/libbearssl.so.5 file gid=0 mode=444 nlink=1 size=226680 uid=0 flags=none
	usr/lib32/libsecureboot.a file gid=0 mode=444 nlink=1 size=79050 uid=0 flags=none
	usr/lib32/libsecureboot.so link gid=0 nlink=1 uid=0 flags=none
	usr/lib32/libsecureboot.so.5 file gid=0 mode=444 nlink=1 size=22932 uid=0 flags=none
	usr/lib32/libveriexec.a file gid=0 mode=444 nlink=1 size=23302 uid=0 flags=none
	usr/lib32/libveriexec.so link gid=0 nlink=1 uid=0 flags=none
	usr/lib32/libveriexec.so.5 file gid=0 mode=444 nlink=1 size=7340 uid=0 flags=none
	usr/share/man/man3/veriexec.3.gz file gid=0 mode=444 nlink=1 size=1057 uid=0 flags=none
	usr/share/man/man8/veriexec.8.gz file gid=0 mode=444 nlink=1 size=2644 uid=0 flags=none