From owner-freebsd-hackers@FreeBSD.ORG  Sun Jun 17 23:10:51 2012
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
	by hub.freebsd.org (Postfix) with ESMTP id F28CB1065676
	for <freebsd-hackers@freebsd.org>; Sun, 17 Jun 2012 23:10:50 +0000 (UTC)
	(envelope-from eric@shadowsun.net)
Received: from mail.atlantawebhost.com (dns1.atlantawebhost.com [66.223.40.39])
	by mx1.freebsd.org (Postfix) with ESMTP id B829E8FC18
	for <freebsd-hackers@freebsd.org>; Sun, 17 Jun 2012 23:10:50 +0000 (UTC)
Received: (qmail 11575 invoked from network); 17 Jun 2012 19:10:50 -0400
Received: from c-71-192-38-198.hsd1.ma.comcast.net (HELO Macintosh-21.local)
	(71.192.38.198)
	by mail.atlantawebhost.com with SMTP; 17 Jun 2012 19:10:50 -0400
Message-ID: <4FDE63F9.7060409@shadowsun.net>
Date: Sun, 17 Jun 2012 19:10:49 -0400
From: Eric McCorkle <eric@shadowsun.net>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.5;
	rv:13.0) Gecko/20120614 Thunderbird/13.0.1
MIME-Version: 1.0
To: freebsd-hackers@freebsd.org
References: <4FDBBACF.9040809@shadowsun.net> <4FDE5E19.5050705@shadowsun.net>
In-Reply-To: <4FDE5E19.5050705@shadowsun.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: EFI development tools
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 17 Jun 2012 23:10:51 -0000

On 6/17/12 6:45 PM, Eric McCorkle wrote:
> On 6/15/12 6:44 PM, Eric McCorkle wrote:
>

> int main() {
>    printf("%d\n", UINT64);
>    return 0;
> }
>

Correction: it should be sizeof(UINT64)