Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@satmandu

satmandu/gist:8a19a4ffb60a96d14716defc535ae8bf

Created August 6, 2018 20:02
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save satmandu/8a19a4ffb60a96d14716defc535ae8bf to your computer and use it in GitHub Desktop.
Save satmandu/8a19a4ffb60a96d14716defc535ae8bf to your computer and use it in GitHub Desktop.
Download ZIP
Barmani 64 bit kernel compile
Raw
gistfile1.txt
sudo apt update
sudo apt-get install -y bc build-essential gcc-aarch64-linux-gnu git unzip subversion
mkdir rpi ; cd rpi
# to get head, aka most actively developed current rpi kernel tree
git clone --depth=1 https://github.com/raspberrypi/linux.git
# for specific version use: git clone --depth=1 -b rpi-4.14.y https://github.com/raspberrypi/linux.git
# Now we get updated rpi firmware
svn export https://github.com/raspberrypi/firmware/trunk/boot
rm boot/config.txt
rm boot/kernel*
cd linux
make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- bcmrpi3_defconfig
ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- make -j`nproc` deb-pkg
cp arch/arm64/boot/Image ../boot/kernel8.img
cp arch/arm64/boot/dts/broadcom/*.dtb ../boot/
cd ..
echo "kernel=kernel8.img" >> boot/config.txt
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment