EFI development tools

[Eric McCorkle]

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)