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