Re: [PATCH] x86: Construct 32 bit boot time page tables in native format.

Ingo Molnar
2008-02-01T14:55:30Z

* Rafael J. Wysocki <rjw@sisk.pl> wrote:

> > no strong preference here - pick the one you like best and send a
> > patch please :-)
>
> Here you go, but I think it falls into the ACPI category.

agreed - Len, would you mind to pick this patch up?

Acked-by: Ingo Molnar <mingo@elte.hu>

Ingo