| @@ -86,7 +86,8 if [ "$BUILD_KERNEL" = true ] ; then | |||
|
|
86 | 86 | if [ "$KERNELSRC_CONFIG" = true ] ; then |
|
|
87 | 87 | # Load default raspberry kernel configuration |
|
|
88 | 88 | make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" "${KERNEL_DEFCONFIG}" |
|
|
89 | #Switch to KERNELSRC_DIR | |
|
|
89 | ||
|
|
90 | #Switch to KERNELSRC_DIR so we can use set_kernel_config | |
|
|
90 | 91 | cd "${KERNEL_DIR}" |
|
|
91 | 92 | |
|
|
92 | 93 | # enable ZSWAP see https://askubuntu.com/a/472227 or https://wiki.archlinux.org/index.php/zswap |
| @@ -202,6 +203,7 if [ "$BUILD_KERNEL" = true ] ; then | |||
|
|
202 | 203 | # Enables BPF syscall for systemd-journald see https://github.com/torvalds/linux/blob/master/init/Kconfig#L848 or https://groups.google.com/forum/#!topic/linux.gentoo.user/_2aSc_ztGpA |
|
|
203 | 204 | if [ "$KERNEL_BPF" = true ] && { [ "$RPI_MODEL" = 3 ] || [ "$RPI_MODEL" = 3P ] ; } ; then |
|
|
204 | 205 | set_kernel_config CONFIG_BPF_SYSCALL y |
|
|
206 | set_kernel_config CONFIG_BPF_EVENTS y | |
|
|
205 | 207 | set_kernel_config CONFIG_CGROUP_BPF y |
|
|
206 | 208 | fi |
|
|
207 | 209 | |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant
