| 1 |
On 23/12/2022 12:46, Michael wrote: |
| 2 |
> On Friday, 23 December 2022 10:09:10 GMT Peter Böhm wrote: |
| 3 |
>> It is in: |
| 4 |
>> Memory Management options ---> |
| 5 |
>> |
| 6 |
>> and you will see it only if you have enabled this: |
| 7 |
>> |
| 8 |
>> Depends on: MEMORY_HOTPLUG [=y] && MEMORY_HOTREMOVE [=y] && |
| 9 |
>> SPARSEMEM_VMEMMAP [=y] && ARCH_HAS_PTE_DEVMAP [=y] |
| 10 |
> |
| 11 |
> Thanks! I found it. :-) |
| 12 |
> |
| 13 |
> ~ $ grep ZONE_DEVICE /usr/src/linux/.config |
| 14 |
> CONFIG_ZONE_DEVICE=y |
| 15 |
> |
| 16 |
>> You can ALWAYS search with a / in make menuconfig (leading CONFIG_ is not |
| 17 |
>> necessary). |
| 18 |
> |
| 19 |
> Hidden options do not show up until precedents have been enabled. I had to |
| 20 |
> enable a couple of the HOTPLUG options and then it showed up. |
| 21 |
|
| 22 |
But / should (a) tell you where it is, and (b) tell you what to enable |
| 23 |
to make it appear. |
| 24 |
|
| 25 |
That's what Peter meant when he said / will always find it. / won't make |
| 26 |
it appear, it tells *you* how to make it appear. |
| 27 |
|
| 28 |
Cheers, |
| 29 |
Wol |
Archives