[base]
flavours:
 armmp
 armmp-lpae
kernel-arch: arm

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

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

[relations]
headers%gcc-4.8: linux-compiler-gcc-4.8-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

