##// END OF EJS Templates
fix?
Unknown -
r383:e80555a731bc
parent child
Show More
@@ -380,15 +380,19 else # BUILD_KERNEL=false
380 # Fetch kernel dl
380 # Fetch kernel dl
381 as_nobody wget -O "${temp_dir}"/kernel.tar.xz -c "$RPI3_64_KERNEL_URL"
381 as_nobody wget -O "${temp_dir}"/kernel.tar.xz -c "$RPI3_64_KERNEL_URL"
382 #extract download
382 #extract download
383 tar -xJf "${temp_dir}"/kernel.tar.xz -C "${R}"
383 tar -xJf "${temp_dir}"/kernel.tar.xz -C "${temp_dir}"
384
385 #move extracted kernel to /boot/firmware
386 mkdir "${R}/boot/firmware"
387 cp "${temp_dir}"/boot/* "${R}"/boot/firmware/
388 cp -r "${temp_dir}"/lib/* "${R}"/lib/
389
384 # Remove temporary directory for kernel sources
390 # Remove temporary directory for kernel sources
385 rm -fr "${temp_dir}"
391 rm -fr "${temp_dir}"
386 # Set permissions of the kernel sources
392 # Set permissions of the kernel sources
387 mkdir "${R}/boot/firmware"
388 cp -r "${R}/boot/" "${R}/boot/firmware"
389 chown -R root:root "${R}/boot/firmware"
393 chown -R root:root "${R}/boot/firmware"
390 chown -R root:root "${R}/lib"
394 chown -R root:root "${R}/lib/modules"
391 #Create cmdline.txt
395 #Create cmdline.txt for 15-rpi-config.sh
392 touch "${BOOT_DIR}/cmdline.txt"
396 touch "${BOOT_DIR}/cmdline.txt"
393 fi
397 fi
394
398
General Comments 0
Vous devez vous connecter pour laisser un commentaire. Se connecter maintenant