##// END OF EJS Templates
this shouldn't be part of this pull req
Unknown -
r342:59f52bcdd820
parent child
Show More
@@ -66,20 +66,6 if [ "$ENABLE_UBOOT" = true ] ; then
66 66 fi
67 67 fi
68 68
69 if [ "$SET_ARCH" = 64 ] ; then
70 echo "Setting up config.txt to boot 64bit uboot"
71
72 printf "\n# 64bit-mode" >> "${BOOT_DIR}/config.txt"
73 printf "\n# arm_control=0x200 is deprecated https://www.raspberrypi.org/documentation/configuration/config-txt/misc.md" >> "${BOOT_DIR}/config.txt"
74 printf "\narm_64bit=1" >> "${BOOT_DIR}/config.txt"
75 sed -i "s|bootz|booti|g" "${BOOT_DIR}/uboot.mkimage"
76 fi
77
78 # instead of sd, boot from usb device
79 if [ "$ENABLE_UBOOTUSB" = true ] ; then
80 sed -i "s|mmc|usb|g" "${BOOT_DIR}/uboot.mkimage"
81 fi
82
83 69 # Set mkfile to use the correct dtb file
84 70 sed -i "s/^\(setenv dtbfile \).*/\1${DTB_FILE}/" "${BOOT_DIR}/uboot.mkimage"
85 71
General Comments 0
Vous devez vous connecter pour laisser un commentaire. Se connecter maintenant