Building 4.19.y kernel for Tinkerboard

[Guest]

I'm trying to build 4.19 kernel modules for Tinkerboard with Armbian's build script (https://github.com/armbian/build).

But when I chose the board 'Tinkerboard' from the Armbian building script CUI menu, the output ko files were all built for 4.4.

How can I create 4.19 ko files for Tinkerboard?

I tried to put userpatches/lib.config in order to overwrite KERNELBRANCH with tag:v4.19.y but not luck.

The error was shown below:

[ o.k. ] Using config file [ /vagrant/userpatches/config-example.conf ]
[ o.k. ] Preparing [ host ]
[ o.k. ] Build host OS release [ bionic ]
[ o.k. ] Syncing clock [ host ]
[ o.k. ] Checking for external GCC compilers 

(snip)

grep: Makefile: No such file or directory
sed: can't read Makefile: No such file or directory
grep: /home/ubuntu/armbian/cache/sources/linux-rockchip/v4.19.y/Makefile: No such file or directory
grep: /home/ubuntu/armbian/cache/sources/linux-rockchip/v4.19.y/Makefile: No such file or directory
grep: /home/ubuntu/armbian/cache/sources/linux-rockchip/v4.19.y/Makefile: No such file or directory
grep: /home/ubuntu/armbian/cache/sources/linux-rockchip/v4.19.y/Makefile: No such file or directory
[ .... ] Compressing sources for the linux-source package 
 570KiB [ 264MiB/s] [======================================================================================>                          ] 77%
cp: cannot stat 'COPYING': No such file or directory
[ o.k. ] Compiling default kernel [ 0 ]
[ o.k. ] Compiler version [ arm-linux-gnueabihf-gcc 7.4.1 ]
[ o.k. ] Using kernel config file [ config/kernel/linux-rockchip-default.config ]
make: *** No rule to make target 'oldconfig'.  Stop.
make: *** No rule to make target 'menuconfig'.  Stop.
[ o.k. ] Exporting new kernel config [ /home/ubuntu/armbian/output/config/linux-rockchip-default.config ]
[ error ] ERROR in function compile_kernel [ compilation.sh:382 ]
[ error ] Kernel was not built [ @host ]
[ o.k. ] Process terminated 

Any suggestions/helps are appreciated.

Thanks.

Edited October 24, 2019 by daisuke

[Werner]

How did you get your board on Linux 4.19.x if the build script offers you 4.4?

[Igor]

7 hours ago, Werner said:

How did you get your board on Linux 4.19.x if the build script offers you 4.4?

https://github.com/armbian/build/blob/master/config/sources/rockchip.conf#L32

NEXT kernel is 4.19.y but you have to choose it when building.

 

16 hours ago, daisuke said:

How can I create 4.19 ko files for Tinkerboard?

 

1. Start from clean unchanged build

2. After you select Tinkerboard select "NEXT"

 

Edit: Vagrant? https://github.com/armbian/build/issues/1599