On Wed, Feb 26, 2025 at 05:54:02PM +0530, Anshuman Khandual wrote: > Both GENERIC_PTDUMP and PTDUMP_CORE are not user selectable config options. > Just drop these from documentation. > > Cc: Catalin Marinas <catalin.mari...@arm.com> > Cc: Will Deacon <w...@kernel.org> > Cc: Jonathan Corbet <cor...@lwn.net> > Cc: linux-arm-ker...@lists.infradead.org > Cc: linux-...@vger.kernel.org > Cc: linux-ker...@vger.kernel.org > Suggested-by: Steven Price <steven.pr...@arm.com> > Signed-off-by: Anshuman Khandual <anshuman.khand...@arm.com>
Acked-by: Catalin Marinas <catalin.mari...@arm.com>
