[base]
featuresets:
 rpi
kernel-arch: arm

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

[image]
install-stem: vmlinuz

[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.

[v6_description]
hardware: Raspberry Pi v6
hardware-long: Raspberry Pi v6 kernel

[v7_description]
hardware: Raspberry Pi v7
hardware-long: Raspberry Pi v7 kernel

[v7l_description]
hardware: Raspberry Pi v7l
hardware-long: Raspberry Pi v7l kernel
