Hello I am new to kernel building, I have been able to build a Debian kernel and load it onto a Debian system. However those instructions do not translate to the Tinker Edge R as well as I would have hoped.
Are these any useful: https://gist.github.com/TinkerTeam/6286550ce70d34f6b3d483cd803da786
I know I can build from https://github.com/TinkerEdgeR/debian-kernel/blob/linux4.4-rk3399pro/README
commands so far:
git clone https://github.com/TinkerEdgeR/debian-kernel.git
cd debian-kernel
make clean && make distclean && make mrproper
make ARCh=arm64 tinker_edge_r_defconfig
make ARCH=arm64 tinker_edge_r.img -j6
This is where I get stuck, there is no tinker_edge_r.img to proceed with
