Re: [gentoo-user] Locating CONFIG_ZONE_DEVICE

[Michael]

On Friday, 23 December 2022 10:09:10 GMT Peter Böhm wrote:
> It is in:
> Memory Management options  --->
>
> and you will see it only if you have enabled this:
>
> Depends on: MEMORY_HOTPLUG [=y] && MEMORY_HOTREMOVE [=y] &&
> SPARSEMEM_VMEMMAP [=y] && ARCH_HAS_PTE_DEVMAP [=y]

Thanks!  I found it.  :-)

~ $ grep ZONE_DEVICE /usr/src/linux/.config
CONFIG_ZONE_DEVICE=y

> You can ALWAYS search with a / in make menuconfig (leading CONFIG_ is not
> necessary).

Hidden options do not show up until precedents have been enabled.  I had to 
enable a couple of the HOTPLUG options and then it showed up.