PKGBUILDs/core/linux-odroidx/linux-odroidx.install

# arg 1:  the new package version
# arg 2:  the old package version

KERNEL_NAME=-imx6
KERNEL_VERSION=3.0.15-1-ARCH+

post_install () {
  # updating module dependencies
  echo ">>> Updating module dependencies. Please wait ..."
  depmod ${KERNEL_VERSION}

dd iflag=dsync oflag=dsync if=/boot/zImage of=/dev/mmcblk0 seek=1057
 # echo "NOTE: You will probably need to copy /boot/uImage to the first partition"
 # echo "      of your SD card."
}

post_upgrade() {
  if grep "^[^#]*[[:space:]]/boot" etc/fstab 2>&1 >/dev/null; then
    if ! grep "[[:space:]]/boot" etc/mtab 2>&1 >/dev/null; then
      echo "WARNING: /boot appears to be a seperate partition but is not mounted"
      echo "         This is most likely not what you want.  Please mount your /boot"
      echo "         partition and reinstall the kernel unless you are sure this is OK"
    fi
  fi

  # updating module dependencies
  echo ">>> Updating module dependencies. Please wait ..."
  depmod ${KERNEL_VERSION}
dd iflag=dsync oflag=dsync if=/boot/zImage of=/dev/mmcblk0 seek=1057

  echo "NOTE: You will probably need to copy /boot/uImage to the first partition"
  echo "      of your SD card."
}