Re: [PATCH 10/10] x86 boot: add code to add BIOS provided EFImemory entries to kernel

From: Paul Jackson
Date: Fri May 16 2008 - 12:30:34 EST

Ingo wrote:
> i've queued up your changes to the -tip tree


> so double-checking it [the merge ontop of Yinghai's e820 work] would be nice.

Ok - will do.

I won't rest till it's the best ...
Programmer, Linux Scalability
Paul Jackson <pj@xxxxxxx> 1.940.382.4214
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at