##// END OF EJS Templates
a
Unknown -
r470:f1e14e2d6242
parent child
Show More
@@ -23,12 +23,16 if [ "$BUILD_KERNEL" = true ] ; then
23 23 # Create temporary directory for kernel sources
24 24 temp_dir=$(as_nobody mktemp -d)
25 25
26 if [ "$ENABLE_NEXMON" = true ] ; then
27 NEXMON_URL
28 else
26 29 # Fetch current RPi2/3 kernel sources
27 30 if [ -z "${KERNEL_BRANCH}" ] ; then
28 31 as_nobody -H git -C "${temp_dir}" clone --depth=1 "${KERNEL_URL}" linux
29 32 else
30 33 as_nobody -H git -C "${temp_dir}" clone --depth=1 --branch "${KERNEL_BRANCH}" "${KERNEL_URL}" linux
31 34 fi
35 fi
32 36
33 37 # Copy downloaded kernel sources
34 38 cp -r "${temp_dir}/linux/"* "${KERNEL_DIR}"
@@ -418,7 +422,7 else # BUILD_KERNEL=false
418 422 if [ "$SET_ARCH" = 64 ] && { [ "$RPI_MODEL" = 3 ] || [ "$RPI_MODEL" = 3P ] ; } ; then
419 423
420 424 # Use Sakakis modified kernel if ZSWAP is active
421 if [ "$KERNEL_ZSWAP" = true ] || ; then
425 if [ "$KERNEL_ZSWAP" = true ] || [ "$KERNEL_VIRT" = true ] || [ "$KERNEL_NF" = true ] || [ "$KERNEL_BPF" = true ] ; then
422 426 RPI3_64_KERNEL_URL=RPI3_64_BIS_KERNEL_URL
423 427 fi
424 428
@@ -156,7 +156,7 UBOOTSRC_DIR=${UBOOTSRC_DIR:=""}
156 156 ENABLE_UBOOTUSB=${ENABLE_UBOOTUSB=false}
157 157 ENABLE_FBTURBO=${ENABLE_FBTURBO:=false}
158 158 ENABLE_VIDEOCORE=${ENABLE_VIDEOCORE:=false}
159 ENABLE_NEXMON=${ENABLE_NEXMON:="false"}
159 ENABLE_NEXMON=${ENABLE_NEXMON:=false}
160 160 VIDEOCORESRC_DIR=${VIDEOCORESRC_DIR:=""}
161 161 FBTURBOSRC_DIR=${FBTURBOSRC_DIR:=""}
162 162 NEXMON_DIR=${NEXMON_DIR:=""}
General Comments 0
Vous devez vous connecter pour laisser un commentaire. Se connecter maintenant