vmlinuz='/boot/vmlinuz'
dtbaddr="0x06000000"
[ -d /mnt/FIRMPART ] &&
  bootmountpoint="/mnt/FIRMPART" ||
  bootmountpoint="/boot/efi"
dtbpath="/lib/devicetree"
rpi4dtb="bcm2711-rpi-4-b.dtb"
rpidtb="bcm2*-rpi-*.dtb"
kernelpath="/boot/vmlinu"
initrdpath="/boot/initrd"
configpath="$bootmountpoint/config.txt"
extlinuxconf="/boot/extlinux/extlinux.conf"
grubcfg="/boot/grub/grub.cfg"
rpi4bspath="/usr/share/rpi4-boot-switch"
defaultdelparam="cma=192M "
[ -d /usr/share/u-boot/rpi_3 ] &&
  { ubootpath3='/usr/share/u-boot/rpi_3'; ubootfile='kernel8.img'; ubootfile3='uboot-rpi_3.bin'; } ||
  { ubootpath3='/usr/share/u-boot/rpi_3_32b'; ubootfile='kernel7.img'; ubootfile3='uboot-rpi_3_32b.bin'; }
[ -d /usr/share/u-boot/rpi_4 ] &&
  { ubootpath='/usr/share/u-boot/rpi_4'; ubootfile='kernel8.img'; ubootfile4='uboot-rpi_4.bin'; } ||
  { ubootpath='/usr/share/u-boot/rpi_4_32b'; ubootfile='kernel7.img'; ubootfile4='uboot-rpi_4_32b.bin'; }
