Re: Testing versatile kernel on Raspberry Pi?
On Mon, 2016-01-25 at 17:59 +0100, Sebastian Reichel wrote:
> Hi,
>
> On Mon, Jan 25, 2016 at 05:39:40PM +0100, Diederik de Haas wrote:
> > On Monday 25 January 2016 14:58:27 Ian Campbell wrote:
> > > > As I got the impression that support for the RPi was now present in
> > > > upstream and (therefor) the Debian kernels,
> > >
> > > The "therefor" won't happen automatically, someone will need to file
> > > a
> > > wishlist bug asking for the relevant options to be enabled in the
> > > Debian
> > > kernel configuration.
> > >
> > > For the RPi's with the newer CPU cores it makes clear sense to do
> > > that in
> > > the armhf/armmp kernel flavour (since it is the "multiplatform"
> > > flavour,
> > > and the only one we want to support).
> >
> > I'll give it a try, but first have to learn about the armmp stuff.
> >
> > Here is the default kernel configuration for the RPi 2:
> > https://github.com/raspberrypi/linux/blob/rpi-4.4.y/arch/arm/configs/bc
> > m2709_defconfig
> > (which does not seem part of
> > https://sources.debian.net/src/linux/4.4-1~exp1/arch/arm/configs/)
>
> The kernel from the Raspberry Pi foundation and the mainline kernel
> have different config options, so that won't be of much use. Check
> mainline's arch/arm/configs/bcm2835_defconfig instead.
Also note that the Debian kernels don't use anything from arch/*/configs.
The configuration is built from snippets (global, per arch, per flavour,
etc) under debian/configs. The armhf/armmp specific bits are
in debian/config/armhf/config.armmp and it is this I would expect to need
changes to support a new armhf platform.
When making changes it is useful to use kconfigeditor from http://anonscm.d
ebian.org/cgit/kernel/kernel-team.git/ to re-normalise the changes (just
run kernel-team.git/utils/kconfigeditor2/process.py <source dir>).
It's also likely that things will need adding under
debian/installer/armhf/modules/ in order for the platform to work in the
installer environment.
There's more info on ther Debian kernel packaging in the Debian Kernel
Handbook at https://www.debian.org/doc/manuals/debian-kernel-handbook/index
.html
Ian.
Reply to: