| @@ -65,6 +65,16 if [ "$ENABLE_UBOOT" = true ] ; then | |||
|
|
65 | 65 | printf "\nbootz \${kernel_addr_r} - \${fdt_addr_r}" >> "${BOOT_DIR}/uboot.mkimage" |
|
|
66 | 66 | fi |
|
|
67 | 67 | fi |
|
|
68 | ||
|
|
69 | if [ "$KERNEL_ARCH" = "arm64" ] ; 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 | #in 64bit uboot booti is used instead of bootz [like in KERNEL_BIN_IMAGE=zImage (armv7)|| Image(armv8)] | |
|
|
76 | sed -i "s|bootz|booti|g" "${BOOT_DIR}/uboot.mkimage" | |
|
|
77 | fi | |
|
|
68 | 78 | |
|
|
69 | 79 | # Set mkfile to use the correct dtb file |
|
|
70 | 80 | sed -i "s/^\(setenv dtbfile \).*/\1${DTB_FILE}/" "${BOOT_DIR}/uboot.mkimage" |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant
