On 30 August 2016 at 13:26, Pete Batard <[email protected]> wrote: > Thanks Felipe. > > I guess with the new detection process, the resurgence of the issue is > starting to make sense now. > > For the record, I am using one of the latest official Raspberry Pi kernels > from https://github.com/raspberrypi/firmware (which I get indirectly through > the https://github.com/Hexxeh/rpi-firmware repo and its rpi-update script at > https://github.com/Hexxeh/rpi-update).
Ah, I thought you were using the debian kernels. > > Unfortunately, these kernels do not provide a config.gz in /proc, so I can't > tell you precisely what compilation options were used in case it matters. > But I'll be happy to run more tests on my machine as needed. I managed to get the config from a jessie rpi by loading the 'configs' module (sudo modprobe configs). After that the config is found on /proc/config.gz -- Saludos, Felipe Sateler
