From owner-p4-projects@FreeBSD.ORG  Fri Jul  3 15:38:27 2009
Return-Path: <owner-p4-projects@FreeBSD.ORG>
Delivered-To: p4-projects@freebsd.org
Received: by hub.freebsd.org (Postfix, from userid 32767)
	id 8DC601065674; Fri,  3 Jul 2009 15:38:27 +0000 (UTC)
Delivered-To: perforce@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 42FC41065672
	for <perforce@FreeBSD.org>; Fri,  3 Jul 2009 15:38:27 +0000 (UTC)
	(envelope-from sson@FreeBSD.org)
Received: from repoman.freebsd.org (repoman.freebsd.org
	[IPv6:2001:4f8:fff6::29])
	by mx1.freebsd.org (Postfix) with ESMTP id 30E678FC21
	for <perforce@FreeBSD.org>; Fri,  3 Jul 2009 15:38:27 +0000 (UTC)
	(envelope-from sson@FreeBSD.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.14.3/8.14.3) with ESMTP id n63FcRrF098864
	for <perforce@FreeBSD.org>; Fri, 3 Jul 2009 15:38:27 GMT
	(envelope-from sson@FreeBSD.org)
Received: (from perforce@localhost)
	by repoman.freebsd.org (8.14.3/8.14.3/Submit) id n63FcRXk098862
	for perforce@freebsd.org; Fri, 3 Jul 2009 15:38:27 GMT
	(envelope-from sson@FreeBSD.org)
Date: Fri, 3 Jul 2009 15:38:27 GMT
Message-Id: <200907031538.n63FcRXk098862@repoman.freebsd.org>
X-Authentication-Warning: repoman.freebsd.org: perforce set sender to
	sson@FreeBSD.org using -f
From: Stacey Son <sson@FreeBSD.org>
To: Perforce Change Reviews <perforce@FreeBSD.org>
Cc: 
Subject: PERFORCE change 165566 for review
X-BeenThere: p4-projects@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: p4 projects tree changes <p4-projects.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
	<mailto:p4-projects-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/p4-projects>
List-Post: <mailto:p4-projects@freebsd.org>
List-Help: <mailto:p4-projects-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
	<mailto:p4-projects-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 03 Jul 2009 15:38:29 -0000

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 ...