Date: Fri, 3 Jul 2009 15:38:27 GMT From: Stacey Son <sson@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 165566 for review Message-ID: <200907031538.n63FcRXk098862@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://perforce.freebsd.org/chv.cgi?CH=165566 Change 165566 by sson@sson_amd64 on 2009/07/03 15:38:08 Initial import of the amt utility. The amt (Abstract Machine Testing) utility is used to verify that the low level functions necessary to enforce the requirements of the Controlled Access Protection Profile (CAPP) are working correctly. Affected files ... .. //depot/projects/trustedbsd/amt#1 add .. //depot/projects/trustedbsd/amt/CREDITS#1 add .. //depot/projects/trustedbsd/amt/INSTALL#1 add .. //depot/projects/trustedbsd/amt/Makefile#1 add .. //depot/projects/trustedbsd/amt/README#1 add .. //depot/projects/trustedbsd/amt/amt.8#1 add .. //depot/projects/trustedbsd/amt/amt.c#1 add .. //depot/projects/trustedbsd/amt/amt.h#1 add .. //depot/projects/trustedbsd/amt/fault_test.c#1 add .. //depot/projects/trustedbsd/amt/mem_sep.c#1 add .. //depot/projects/trustedbsd/amt/memory.c#1 add .. //depot/projects/trustedbsd/amt/priv_inst.c#1 add Differences ...
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200907031538.n63FcRXk098862>