I think not - that section is about avoiding problems with common kernel names, not about how to customise your kernel. There's nothing Pi-specific about menuconfig, and we're not going to duplicate the kernel documentation.worth adding that to https://www.raspberrypi.com/documentati ... tomisation
Statistics: Posted by PhilE — Thu Nov 21, 2024 1:39 pm