Differences

This shows you the differences between two versions of the page.

--- user:mrholub:kernel-crosscompiling [2017/05/08 19:35] – mrholub
+++ user:mrholub:kernel-crosscompiling [2017/05/08 19:51] (current) – mrholub
@@ Line 1: / Line 1: @@
+ Script: rpi_kernel_cross_compilling.sh
+Description:
+   Prepares environment variables.
+   Downloads and kernel sources and compile tools.
+   Compiles kernel  along with modules and installs
+   these on RPI's SD card.
+   Actions on the following page are performed for default
+   kernel settings :
+   https://www.raspberrypi.org/documentation/linux/kernel/building.md
+   .config file is created in case of custom settings
+   via menuconfig.
+Usage:
+    Mount boot partition with kernel files (fat32) in /mnt/fat32
+    Mount root partition with modules (ext4) in /mnt/ext4
+    Paths can be changed in values BOOT_FAT32_PATH and ROOT_EXT4_PATH.
+    Select for which RPI hardware version should be kernel compiled
+    by changing of value PI_VERSION.
+    Set MENUCONFIG to "1" if you wish to create custom kernel settings.
+    .config file will be created in case of menuconfig.
+    You will be asked wehther re-write any existing .config file or not.
+NOTE:
+    If you will not mount SD card volumes then kernel cannot be obviously
+    installed. It can be fixed easily by mounting volumes and starting
+    this script again.
+    Files may remain in mounting dirs if sd card not mounted.
-           Script: rpi_kernel_cross_compilling.sh
+{{ :user:mrholub:rpi_kernel_cross_compilling.sh.gz |}}
-      Description: Prepares environment variables.
-		    Downloads and kernel sources and compile tools.
-		    Compiles kernel  along with modules and installs
-		    these on RPI's SD card.
-                   Actions on the following page are performed for default
-		    kernel settings :
-      https://www.raspberrypi.org/documentation/linux/kernel/building.md
-		    .config file is created in case of custom settings
-		    via menuconfig.
-           Author: Robert Holub
-             Date: 8th May 2017
- Usage:
-          Mount boot partition with kernel files (fat32) in /mnt/fat32
-          Mount root partition with modules (ext4) in /mnt/ext4
-	   Paths can be changed in values BOOT_FAT32_PATH and ROOT_EXT4_PATH.
-	   Select for which RPI hardware version should be kernel compiled
-	   by changing of value PI_VERSION.
-	   Set MENUCONFIG to "1" if you wish to create custom kernel settings.
-	   .config file will be created in case of menuconfig.
-	   You will be asked wehther re-write any existing .config file or not.
- NOTE:
-	   If you will not mount SD card volumes then kernel cannot be obviously
-          installed. It can be fixed easily by mounting volumes and starting
-          this script again.
-          Files may remain in mounting dirs if sd card not mounted.