Linux and Build support on JetsonNano

Hi Team

I am planning to buy a development board jetson Nano
I wanted to download the software related to this (Linux) and get familiarized with compilation procedure as I would be adding my driver modules

Can you please help me on getting to the right start of the steps

I wanted to use Linux kernel version Linux-4.12.10.
Is this version supported where can I download this version and use it on the board

Thank you
Deepak R

Better ask that in the Jetson forums, this forum is rather about the x86 graphics driver.