5 if ["${TARGET_OS}" != "ubuntu-32" ] && ["${TARGET_OS}" != "ubuntu-64" ]
16 # for i386 (32bit) kernel
18 mv arch/x86/boot/bzImage ./bzImage.i386
22 # for x86-64 (64bit) kernel
24 mv arch/x86/boot/bzImage ./bzImage.x86_64
30 KERNEL_DIR=$SRCDIR/package/3.0-emulator-kernel-x86.package.${TARGET_OS}/data/platforms/tizen-3.0/common/emulator/data/kernel
33 cp ./bzImage.i386 $KERNEL_DIR/bzImage.i386
34 cp ./bzImage.x86_64 $KERNEL_DIR/bzImage.x86_64