If this is still relevant, the easiest workaround for using the
raspberry pi bootloader directly and bypassing u-boot is to do the
following. (This is actually useful if you use a custom kernel, since
the needed dtb file for u-boot may not be the one you want to use for
your custom kernel.)

Do NOT uninstall u-boot.

edit /boot/firmware/config.txt so that all kernel lines are commented
out and make sure the [all] section has these two lines:

kernel=vmlinuz
initramfs initrd.img followkernel

Then create put the following text in
/etc/kernel/postinst.d/zzzz_rpi_kernel:

#!/bin/sh -eu
#
# This uncompresses the arm64 kernel so the rpi bootloader can load it. 
#
# First exit if we aren't running an ARM64 kernel.
#
[ $(uname -m) != aarch64 ] && exit 0
#
KERNEL_VERSION="$1"
KERNEL_INSTALLED_PATH="$2"

gunzip -c -f ${KERNEL_INSTALLED_PATH} > ${KERNEL_INSTALLED_PATH}.nogz &&
mv -f ${KERNEL_INSTALLED_PATH}.nogz ${KERNEL_INSTALLED_PATH}

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1811984

Title:
  flash-kernel 3.90ubuntu3.18.10.1 fails with mkimage: not found if no
  uboot is used

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/flash-kernel/+bug/1811984/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to