arch/riscv: Print the page table structure after construction

A new Kconfig option, DEBUG_PRINT_PAGE_TABLES, is added to control this
behaviour. It is currently only available on RISC-V, but other
architectures can use it, too, should the need arise.

Change-Id: I52a863d8bc814ab3ed3a1f141d0a77edc6e4044d
Signed-off-by: Jonathan Neuschäfer <>
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <>
3 files changed