need linux-headers-4.9.111-rt76-tegra

Hi, please let me know where to get/find the corresponding linux-headers for the latest linux kernel version 4.9.111-rt76-tegra on Devkit. I need to compile a kernel module for a device. I do not want to compile/flash a new kernel though.

thanks
Jerry

never mind. got kernel module compiled with the kernel source.