RockpiE/dev/kernel-4.4
ROCK Pi E > Development > Build vendor kernel(Rockchip 4.4)
Contents
Build verdor kernel (Rockchip 4.4)
This guide describes how to build verdor kernel (Rockchip 4.4).
The vendor kernel is based on the Rockchip 4.4 kernel with hardware support for ROCK Pi E. Below is how to build it on a X86 Linux host PC.
Get the kernel source
Branch stable-4.4-rockpie supports ROCK Pi E board.
git clone -b stable-4.4-rockpie https://github.com/radxa/kernel.git cd kernel
Install toolchain from Linaro
wget https://releases.linaro.org/components/toolchain/binaries/7.3-2018.05/aarch64-linux-gnu/gcc-linaro-7.3.1-2018.05-x86_64_aarch64-linux-gnu.tar.xz sudo tar xvf gcc-linaro-7.3.1-2018.05-x86_64_aarch64-linux-gnu.tar.xz -C /usr/local/ export ARCH=arm64 export CROSS_COMPILE=/usr/local/gcc-linaro-7.3.1-2018.05-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu-
Build kernel
make rockchip_linux_defconfig
If you need to build kernel modules that are not in the default config, you can select it in menu config
make menuconfig #(optional)
Now build it
make -j8
The built targets we are interested are arch/arm64/boot/Image and dtb file arch/arm64/boot/dts/rockchip/rk3328-rock-pi-e.dtb.
Build kernel deb package
The kernel package build can pack the kernel, device tree, modules and firmware into Debian packages, which makes it easier to install on the ROCK Pi E.
First, setup the version number, make sure the format is right.
export build_id="999" # make sure it's big enough so that our kernel is the newest. export lv="-$build_id-rockchip" export kv=$(make kernelversion) export debv="$kv$lv"
make bindeb-pkg -j8 LOCALVERSION=$lv KDEB_PKGVERSION=$debv
The generated packages are(the kernel revision name maybe different):
ls ../*.deb ../linux-firmware-image-4.4.194-999-rockchip-58823-g67ab7d4_4.4.194-999-rockchip_arm64.deb ../linux-headers-4.4.194-999-rockchip-58823-g67ab7d4_4.4.194-999-rockchip_arm64.deb ../linux-image-4.4.194-999-rockchip-58823-g67ab7d4_4.4.194-999-rockchip_arm64.deb ../linux-image-4.4.194-999-rockchip-58823-g67ab7d4-dbg_4.4.194-999-rockchip_arm64.deb ../linux-libc-dev_4.4.194-999-rockchip_arm64.deb
copy linux-image-4.4.194-999-rockchip-*_arm64.deb and linux-firmware-image-4.4.194-999-rockchip-*_arm64.deb to your ROCK Pi E.
Install it on ROCK Pi E.
rockpie# dpkg -i linux-image-4.4.194-999-rockchip-*_arm64.deb linux-firmware-image-4.4.194-999-rockchip-*_arm64.deb
Reboot and you will have the new kernel booting.
FAQs
Troubleshooting
- Post your issue at the forum: https://forum.radxa.com/c/dev