| @@ -97,7 +97,19 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 |
|
100 | |||
|
|
101 | if [ "$KERNEL_ARCH" = arm64 ] ; then | |||
|
|
102 | #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 | |||
|
|
104 | set_kernel_config CONFIG_MMC_BCM2835 n | |||
|
|
105 | set_kernel_config CONFIG_MMC_SDHCI_IPROC n | |||
|
|
106 | set_kernel_config CONFIG_USB_DWC2 n | |||
|
|
107 | sed -i "s|depends on MMC_BCM2835_MMC && MMC_BCM2835_DMA|depends on MMC_BCM2835_MMC|" "${KERNEL_DIR}"/drivers/mmc/host/Kconfig | |||
|
|
108 | ||||
|
|
109 | #VLAN got disabled without reason in arm64bit | |||
|
|
110 | set_kernel_config CONFIG_IPVLAN m | |||
|
|
111 | fi | |||
|
|
112 | ||||
| 101 | # enable ZSWAP see https://askubuntu.com/a/472227 or https://wiki.archlinux.org/index.php/zswap |
|
113 | # enable ZSWAP see https://askubuntu.com/a/472227 or https://wiki.archlinux.org/index.php/zswap | |
| 102 | if [ "$KERNEL_ZSWAP" = true ] ; then |
|
114 | if [ "$KERNEL_ZSWAP" = true ] ; then | |
| 103 | set_kernel_config CONFIG_ZPOOL y |
|
115 | set_kernel_config CONFIG_ZPOOL y | |
| @@ -107,6 +119,7 if [ "$BUILD_KERNEL" = true ] ; then | |||||
| 107 | set_kernel_config CONFIG_ZSMALLOC y |
|
119 | set_kernel_config CONFIG_ZSMALLOC y | |
| 108 | set_kernel_config CONFIG_PGTABLE_MAPPING y |
|
120 | set_kernel_config CONFIG_PGTABLE_MAPPING y | |
| 109 | set_kernel_config CONFIG_LZO_COMPRESS y |
|
121 | set_kernel_config CONFIG_LZO_COMPRESS y | |
|
|
122 | ||||
| 110 | fi |
|
123 | fi | |
| 111 |
|
124 | |||
| 112 | # enable basic KVM support; see https://www.raspberrypi.org/forums/viewtopic.php?f=63&t=210546&start=25#p1300453 |
|
125 | # enable basic KVM support; see https://www.raspberrypi.org/forums/viewtopic.php?f=63&t=210546&start=25#p1300453 | |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant
