[base]
flavours:
 rpi
 rpi2
kernel-arch: arm

[build]
image-file: arch/arm/boot/zImage
vdso: true

[image]
suggests: fdutils
configs:
 kernelarch-arm/config
install-stem: vmlinuz

[relations]
headers%gcc-4.9: linux-compiler-gcc-4.9-arm

[armmp_description]
hardware: ARMv7 multiplatform compatible SoCs
hardware-long: ARMv7 multiplatform kernel. See
  https://wiki.debian.org/DebianKernel/ARMMP for details of supported
  platforms

[armmp-lpae_description]
hardware: ARMv7 multiplatform compatible SoCs supporting LPAE
hardware-long: ARMv7 multiplatform kernel supporting LPAE. See
  https://wiki.debian.org/DebianKernel/ARMMP for details of supported
  platforms.

[armmp-lpae_image]
configs:
 armhf/config.armmp
 armhf/config.lpae

[rpi_build]
image-file: arch/arm/boot/zImagerpdt

[rpi_description]
hardware: RaspberryPI
hardware-long: Raspberry PI

[rpi_image]
configs:
 armhf/config.rpix
 armhf/config.rpi

[rpi2_image]
configs:
 armhf/config.rpix
 armhf/config.rpi2


[rpi2_build]
image-file: arch/arm/boot/zImagerpdt

[rpi2_description]
hardware: RaspberryPI2
hardware-long: Raspberry PI 2
