| @@ -53,6 +53,10 if [ "$BUILD_KERNEL" = true ] ; then | |||
|
|
53 | 53 | KERNEL_THREADS=$(grep -c processor /proc/cpuinfo) |
|
|
54 | 54 | fi |
|
|
55 | 55 | |
|
|
56 | if [ "$ENABLE_QEMU" = true ] && [ "$KERNEL_ARCH" = arm64 ]; then | |
|
|
57 | cp "${KERNEL_DIR}"/arch/arm/configs/vexpress_defconfig "${KERNEL_DIR}"/arch/arm64/configs/ | |
|
|
58 | fi | |
|
|
59 | ||
|
|
56 | 60 | # Configure and build kernel |
|
|
57 | 61 | if [ "$KERNELSRC_PREBUILT" = false ] ; then |
|
|
58 | 62 | # Remove device, network and filesystem drivers from kernel configuration |
| @@ -98,7 +102,7 if [ "$BUILD_KERNEL" = true ] ; then | |||
|
|
98 | 102 | #Switch to KERNELSRC_DIR so we can use set_kernel_config |
|
|
99 | 103 | cd "${KERNEL_DIR}" || exit |
|
|
100 | 104 | |
|
|
101 | if [ "$KERNEL_ARCH" = arm64 ] ; then | |
|
|
105 | if [ "$KERNEL_ARCH" = arm64 ] && [ "$ENABLE_QEMU" = false ]; then | |
|
|
102 | 106 | #Fix SD_DRIVER upstream and downstream mess in 64bit RPIdeb_config |
|
|
103 | 107 | # use correct driver MMC_BCM2835_MMC instead of MMC_BCM2835_SDHOST - see https://www.raspberrypi.org/forums/viewtopic.php?t=210225 |
|
|
104 | 108 | set_kernel_config CONFIG_MMC_BCM2835 n |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant
