@@ -214,8 +214,11 Clean the existing kernel sources directory `KERNELSRC_DIR` (using `make mrprope | |||||
214 | ##### `KERNELSRC_CONFIG`=true |
|
214 | ##### `KERNELSRC_CONFIG`=true | |
215 | Run `make bcm2709_defconfig` (and optional `make menuconfig`) to configure the kernel sources before building. This parameter is automatically set to `true` if no existing kernel sources directory was specified using `KERNELSRC_DIR`. This parameter is ignored if `KERNELSRC_PREBUILT`=true. |
|
215 | Run `make bcm2709_defconfig` (and optional `make menuconfig`) to configure the kernel sources before building. This parameter is automatically set to `true` if no existing kernel sources directory was specified using `KERNELSRC_DIR`. This parameter is ignored if `KERNELSRC_PREBUILT`=true. | |
216 |
|
216 | |||
|
217 | ##### `KERNELSRC_USRCONFIG`="" | |||
|
218 | Copy own config file to kernel `.config`. If `KERNEL_MENUCONFIG`=true then running after copy. | |||
|
219 | ||||
217 | ##### `KERNELSRC_PREBUILT`=false |
|
220 | ##### `KERNELSRC_PREBUILT`=false | |
218 | With this parameter set to true the script expects the existing kernel sources directory to be already successfully cross-compiled. The parameters `KERNELSRC_CLEAN`, `KERNELSRC_CONFIG` and `KERNEL_MENUCONFIG` are ignored and no kernel compilation tasks are performed. |
|
221 | With this parameter set to true the script expects the existing kernel sources directory to be already successfully cross-compiled. The parameters `KERNELSRC_CLEAN`, `KERNELSRC_CONFIG`, `KERNELSRC_USRCONFIG` and `KERNEL_MENUCONFIG` are ignored and no kernel compilation tasks are performed. | |
219 |
|
222 | |||
220 | ##### `RPI_FIRMWARE_DIR`="" |
|
223 | ##### `RPI_FIRMWARE_DIR`="" | |
221 | The directory containing a local copy of the firmware from the [RaspberryPi firmware project](https://github.com/raspberrypi/firmware). Default is to download the latest firmware directly from the project. |
|
224 | The directory containing a local copy of the firmware from the [RaspberryPi firmware project](https://github.com/raspberrypi/firmware). Default is to download the latest firmware directly from the project. |
@@ -71,8 +71,8 if [ "$BUILD_KERNEL" = true ] ; then | |||||
71 | # Load default raspberry kernel configuration |
|
71 | # Load default raspberry kernel configuration | |
72 | make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" "${KERNEL_DEFCONFIG}" |
|
72 | make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" "${KERNEL_DEFCONFIG}" | |
73 |
|
73 | |||
74 |
if [ ! -z "$KERNELUSR |
|
74 | if [ ! -z "$KERNELSRC_USRCONFIG" ] ; then | |
75 |
cp $KERNELUSR |
|
75 | cp $KERNELSRC_USRCONFIG ${KERNEL_DIR}/.config | |
76 | fi |
|
76 | fi | |
77 |
|
77 | |||
78 | # Start menu-driven kernel configuration (interactive) |
|
78 | # Start menu-driven kernel configuration (interactive) |
General Comments 0
Vous devez vous connecter pour laisser un commentaire.
Se connecter maintenant