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.marinas@xxxxxxx> > Cc: Will Deacon <will@xxxxxxxxxx> > Cc: Jonathan Corbet <corbet@xxxxxxx> > Cc: linux-arm-kernel@xxxxxxxxxxxxxxxxxxx > Cc: linux-doc@xxxxxxxxxxxxxxx > Cc: linux-kernel@xxxxxxxxxxxxxxx > Suggested-by: Steven Price <steven.price@xxxxxxx> > Signed-off-by: Anshuman Khandual <anshuman.khandual@xxxxxxx> Acked-by: Catalin Marinas <catalin.marinas@xxxxxxx>
