On Tue, May 5, 2020 at 12:48 PM Christoph Hellwig <[email protected]> wrote: > On Wed, Apr 29, 2020 at 11:49:50PM +0200, Jann Horn wrote: > > dump_emit() is for kernel pointers, and VMAs describe userspace memory. > > Let's be tidy here and avoid accessing userspace pointers under KERNEL_DS, > > even if it probably doesn't matter much on !MMU systems - especially given > > that it looks like we can just use the same get_dump_page() as on MMU if > > we move it out of the CONFIG_MMU block. > > Looks sensible. Did you get a chance to test this with a nommu setup?
Nope. Do you happen to have a recommendation for a convenient environment I can use with QEMU, or something like that? I'm guessing that just running a standard armel Debian userspace with a !mmu ARM kernel wouldn't work so well?
