PERFORCE change 165566 for review

[Stacey Son]

http://perforce.freebsd.org/chv.cgi?CH=165566

Change 165566 by sson at 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 ...