Advanced Search

unknown wrote:

As the image is a custom one, only the kernel is built from RPi Sources.
This pretty clear, I would have thought.

To one well versed in building distributions, yes, but not necessarily to one who has only used distributions! Not until now, anyway

unknown wrote:

Where as you were attempting to install headers from the Debian repo

 
I was but at that point, didn't realise the significance of the kernel being sourced from a different place to the base distribution.

unknown wrote:

The kernel should load the drivers without any user intervention.

 
It does now load on boot.

Thank you.

As the image is a custom one, only the kernel is built from RPi Sources.
This pretty clear, I would have thought.
Where as you were attempting to install headers from the Debian repo

The kernel should load the drivers without any user intervention.