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