[base]
flavours:
 powerpc64
kernel-arch: powerpc

[build]
image-file: vmlinux
vdso: true

[image]
configs:
bootloaders: grub-ieee1275
suggests: mkvmlinuz
install-stem: vmlinux

[powerpc64_description]
hardware: 64-bit PowerPC

[powerpc64_image]
configs: kernelarch-powerpc/config-arch-64 kernelarch-powerpc/config-arch-64-be
