ARM: add support to dump the kernel page tables

[Uwe Kleine-König]

Hello Russell,

On Thu, Oct 24, 2013 at 08:16:00AM +0100, Russell King - ARM Linux wrote:
> +config ARM_PTDUMP
> +	bool "Export kernel pagetable layout ot userspace via debugfs"

just noticed while doing make oldconfig on next: You want to make
s/ot/to/ on that line.

Best regards
Uwe

-- 
Pengutronix e.K.                           | Uwe Kleine-König            |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |