| @@ -66,20 +66,6 if [ "$ENABLE_UBOOT" = true ] ; then | |||||
| 66 | fi |
|
66 | fi | |
| 67 | fi |
|
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 | # Set mkfile to use the correct dtb file |
|
69 | # Set mkfile to use the correct dtb file | |
| 84 | sed -i "s/^\(setenv dtbfile \).*/\1${DTB_FILE}/" "${BOOT_DIR}/uboot.mkimage" |
|
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
