##// END OF EJS Templates
Update 13-kernel.sh
burnbabyburn -
r643:d15f72e7a29a
parent child
Show More
@@ -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