sbin/veriexec file gid=0 mode=555 nlink=1 size=800400 uid=0 flags=uarch
	usr/include/bearssl.h file gid=0 mode=444 nlink=1 size=6970 uid=0 flags=uarch
	usr/include/bearssl_aead.h file gid=0 mode=444 nlink=1 size=41036 uid=0 flags=uarch
	usr/include/bearssl_block.h file gid=0 mode=444 nlink=1 size=89199 uid=0 flags=uarch
	usr/include/bearssl_ec.h file gid=0 mode=444 nlink=1 size=33770 uid=0 flags=uarch
	usr/include/bearssl_hash.h file gid=0 mode=444 nlink=1 size=44866 uid=0 flags=uarch
	usr/include/bearssl_hmac.h file gid=0 mode=444 nlink=1 size=8413 uid=0 flags=uarch
	usr/include/bearssl_kdf.h file gid=0 mode=444 nlink=1 size=10049 uid=0 flags=uarch
	usr/include/bearssl_pem.h file gid=0 mode=444 nlink=1 size=10442 uid=0 flags=uarch
	usr/include/bearssl_prf.h file gid=0 mode=444 nlink=1 size=5465 uid=0 flags=uarch
	usr/include/bearssl_rand.h file gid=0 mode=444 nlink=1 size=14023 uid=0 flags=uarch
	usr/include/bearssl_rsa.h file gid=0 mode=444 nlink=1 size=58923 uid=0 flags=uarch
	usr/include/bearssl_ssl.h file gid=0 mode=444 nlink=1 size=151419 uid=0 flags=uarch
	usr/include/bearssl_x509.h file gid=0 mode=444 nlink=1 size=46293 uid=0 flags=uarch
	usr/include/libsecureboot.h file gid=0 mode=444 nlink=1 size=3300 uid=0 flags=uarch
	usr/include/libveriexec.h file gid=0 mode=444 nlink=1 size=1623 uid=0 flags=uarch
	usr/lib/libbearssl.a file gid=0 mode=444 nlink=1 size=1549874 uid=0 flags=uarch
	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=310416 uid=0 flags=uarch
	usr/lib/libsecureboot.a file gid=0 mode=444 nlink=1 size=165846 uid=0 flags=uarch
	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=41632 uid=0 flags=uarch
	usr/lib/libveriexec.a file gid=0 mode=444 nlink=1 size=9152 uid=0 flags=uarch
	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=5840 uid=0 flags=uarch
	usr/lib/debug/sbin/veriexec.debug file gid=0 mode=444 nlink=1 size=1160560 uid=0 flags=uarch
	usr/lib/debug/usr/lib/libbearssl.so.5.debug file gid=0 mode=444 nlink=1 size=970064 uid=0 flags=uarch
	usr/lib/debug/usr/lib/libsecureboot.so.5.debug file gid=0 mode=444 nlink=1 size=96256 uid=0 flags=uarch
	usr/lib/debug/usr/lib/libveriexec.so.5.debug file gid=0 mode=444 nlink=1 size=11696 uid=0 flags=uarch
	usr/lib/debug/usr/lib32/libbearssl.so.5.debug file gid=0 mode=444 nlink=1 size=675216 uid=0 flags=uarch
	usr/lib/debug/usr/lib32/libsecureboot.so.5.debug file gid=0 mode=444 nlink=1 size=74640 uid=0 flags=uarch
	usr/lib/debug/usr/lib32/libveriexec.so.5.debug file gid=0 mode=444 nlink=1 size=9084 uid=0 flags=uarch
	usr/lib32/libbearssl.a file gid=0 mode=444 nlink=1 size=988356 uid=0 flags=uarch
	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=254348 uid=0 flags=uarch
	usr/lib32/libsecureboot.a file gid=0 mode=444 nlink=1 size=105950 uid=0 flags=uarch
	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=35424 uid=0 flags=uarch
	usr/lib32/libveriexec.a file gid=0 mode=444 nlink=1 size=6052 uid=0 flags=uarch
	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=4312 uid=0 flags=uarch
	usr/share/man/man3/veriexec.3.gz file gid=0 mode=444 nlink=1 size=1065 uid=0 flags=uarch
	usr/share/man/man8/veriexec.8.gz file gid=0 mode=444 nlink=1 size=1826 uid=0 flags=uarch