Changing Kernel version in Linux

fadonoso

Hi everyone,

I just bought a RK-3399, I installed the Firefly-RK3399-ubuntu16.04-20180416112819.img on it.  I want to use it with a Intel Realsense camera 415. My first issue is the kernel version, because the installation script of the camera use: uname -r. Thus when I typed uname -r in the firefly ubuntu the outcome is:
4.4.77
but sadly under that kernel number there are not installed packages in /usr/src where the scripts is looking for some stuffs. However, there is all what is needed under the kernel version 4.4.0-128-generic but I dont know how to change to that kernel version because in firefly ubuntu does not work grub.

I hacked the uname program to give all the results that I want but at the end of the compilation of realsense library fails and I tired of patching this in a hacky way when the solution should be simple.

Does someone know how to change the kernel version in firefly linux?

Regards,
Felipe