arm-sdk

os build toolkit for various embedded devices
git clone https://git.parazyd.org/arm-sdk
Log | Files | Refs | Submodules | README | LICENSE

commit b49a5ac5c213d2e188e4a2cb64ee82f65c93d33c
parent f100dfee8a3faf5fbca74458e0b36a40cc7a1802
Author: parazyd <parazyd@dyne.org>
Date:   Wed,  3 Jan 2018 15:17:27 +0100

Do not use firmware_install in pi scripts anymore.

Diffstat:
Mboards/raspberry-pi1.sh | 18------------------
Mboards/raspberry-pi2.sh | 18------------------
Mboards/raspberry-pi3.sh | 18------------------
3 files changed, 0 insertions(+), 54 deletions(-)

diff --git a/boards/raspberry-pi1.sh b/boards/raspberry-pi1.sh @@ -101,24 +101,6 @@ build_kernel_armel() { CROSS_COMPILE=$compiler \ INSTALL_MOD_PATH=$strapdir \ modules_install || zerr - - # install kernel headers - #sudo -E PATH="$PATH" \ - # make \ - # $MAKEOPTS \ - # ARCH=arm \ - # CROSS_COMPILE=$compiler \ - # INSTALL_HDR_PATH=$strapdir/usr \ - # headers_install || zerr - - # install kernel firmware - sudo -E PATH="$PATH" \ - make \ - $MAKEOPTS \ - ARCH=arm \ - CROSS_COMPILE=$compiler \ - INSTALL_MOD_PATH=$strapdir \ - firmware_install || zerr popd clone-git "$rpifirmware" "$R/tmp/kernels/$device_name/${device_name}-firmware" diff --git a/boards/raspberry-pi2.sh b/boards/raspberry-pi2.sh @@ -101,24 +101,6 @@ build_kernel_armhf() { CROSS_COMPILE=$compiler \ INSTALL_MOD_PATH=$strapdir \ modules_install || zerr - - # install kernel headers - #sudo -E PATH="$PATH" \ - # make \ - # $MAKEOPTS \ - # ARCH=arm \ - # CROSS_COMPILE=$compiler \ - # INSTALL_HDR_PATH=$strapdir/usr \ - # headers_install || zerr - - # install kernel firmware - sudo -E PATH="$PATH" \ - make \ - $MAKEOPTS \ - ARCH=arm \ - CROSS_COMPILE=$compiler \ - INSTALL_MOD_PATH=$strapdir \ - firmware_install || zerr popd clone-git "$rpifirmware" "$R/tmp/kernels/$device_name/${device_name}-firmware" diff --git a/boards/raspberry-pi3.sh b/boards/raspberry-pi3.sh @@ -101,24 +101,6 @@ build_kernel_arm64() { CROSS_COMPILE=$compiler \ INSTALL_MOD_PATH=$strapdir \ modules_install || zerr - - # install kernel headers - #sudo -E PATH="$PATH" \ - # make \ - # $MAKEOPTS \ - # ARCH=arm64 \ - # CROSS_COMPILE=$compiler \ - # INSTALL_HDR_PATH=$strapdir/usr \ - # headers_install || zerr - - # install kernel firmware - sudo -E PATH="$PATH" \ - make \ - $MAKEOPTS \ - ARCH=arm64 \ - CROSS_COMPILE=$compiler \ - INSTALL_MOD_PATH=$strapdir \ - firmware_install || zerr popd clone-git "$rpifirmware" "$R/tmp/kernels/$device_name/${device_name}-firmware"