[$] User-space control of memory management

In a remotely presented, memory-management-track session at the 2023 Linux Storage, Filesystem,Memory-Management and BPF Summit, Frank van der Linden pointed out thatthe line dividing resources controlled by the kernel from those managed byuser space has moved back and forth over the years. He is currentlyinterested in making it possible for user space to take more control overthe management of memory resources. A proposal was discussed in generalterms, but it will require some real scrutiny on its way toward themainline, if it ever gets there.