| @@ -97,7 +97,8 if [ "$BUILD_KERNEL" = true ] ; then | |||||
| 97 |
|
97 | |||
| 98 | #Switch to KERNELSRC_DIR so we can use set_kernel_config |
|
98 | #Switch to KERNELSRC_DIR so we can use set_kernel_config | |
| 99 | cd "${KERNEL_DIR}" || exit |
|
99 | cd "${KERNEL_DIR}" || exit | |
| 100 | if [ "$KERNEL_ARCH" = arm64 ] |
|
100 | ||
|
|
101 | if [ "$KERNEL_ARCH" = arm64 ] ; then | |||
| 101 | #Fix SD_DRIVER mess in 64bit config |
|
102 | #Fix SD_DRIVER mess in 64bit config | |
| 102 | # use correct driver MMC_BCM2835_MMC instead of MMC_BCM2835_SDHOST - variable naming is bs |
|
103 | # use correct driver MMC_BCM2835_MMC instead of MMC_BCM2835_SDHOST - variable naming is bs | |
| 103 | set_kernel_config CONFIG_MMC_BCM2835 n |
|
104 | set_kernel_config CONFIG_MMC_BCM2835 n | |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant
