| @@ -73,12 +73,12 if [ "$ENABLE_UBOOT" = true ] ; then | |||
|
|
73 | 73 | printf "\narm_64bit=1" >> "${BOOT_DIR}/config.txt" |
|
|
74 | 74 | sed -i "s|bootz|booti|g" "${BOOT_DIR}/uboot.mkimage" |
|
|
75 | 75 | fi |
|
|
76 | ||
|
|
76 | ||
|
|
77 | # instead of sd, boot from usb device | |
|
|
77 | 78 | if [ "$ENABLE_UBOOTUSB" = true ] ; then |
|
|
78 | 79 | sed -i "s|mmc|usb|g" "${BOOT_DIR}/uboot.mkimage" |
|
|
79 | 80 | fi |
|
|
80 | 81 | |
|
|
81 | ||
|
|
82 | 82 | # Set mkfile to use the correct mach id |
|
|
83 | 83 | if [ "$ENABLE_QEMU" = true ] ; then |
|
|
84 | 84 | sed -i "s/^\(setenv machid \).*/\10x000008e0/" "${BOOT_DIR}/uboot.mkimage" |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant
