SERIAL_CONSOLE = "115200 ttyS0"
PREFERRED_VERSION_u-boot = "1.1.4"
+KERNEL_IMAGETYPE = "uImage"
#tune for the 405 cpu
require conf/machine/include/tune-ppc405.inc
export OS = "Linux"
ARCH = "ppc"
-KERNEL_OUTPUT = "arch/ppc/boot/images/zImage.elf"
do_stage_append () {
#need ppc platforms includes + friends in order for external kernel modules to compile as headers as still split
do_install_append () {
install -d ${DEPLOY_DIR_IMAGE}
- install -m 0755 arch/ppc/boot/images/zImage.elf \
+ if [ -e arch/ppc/boot/images/zImage.elf ] ; then
+ cp -a arch/ppc/boot/images/zImage.elf arch/ppc/boot/images/zImage
+ install -m 0755 arch/ppc/boot/images/zImage.elf \
${DEPLOY_DIR_IMAGE}/${KERNEL_IMAGETYPE}-${PV}-${MACHINE}-${DATETIME}.elf
+ fi
install -m 0755 vmlinux ${DEPLOY_DIR_IMAGE}/
}