Jetson Kernel Source Download? /etc/apt/sources.list Additions?

Robotics & Edge Computing Jetson & Embedded Systems Jetson TK1
1

I originally had L4T R19.2 on my Jetson, and ran native kernel compiles there. Somewhere along the way I got the kernel source on my Jetson, but don’t remember where and now have L4T R19.3. Here is a reference I found to a kernel source:

[url]https://developer.nvidia.com/sites/default/files/akamai/mobile/files/L4T/kernel_src.tbz2[/url]

However, I’m wondering where kernel source is officially listed for download? I’ve been digging through links and only finding this indirect reference which in turn was from a forum post, not an official nVidia listing.

Where is kernel source officially listed?

I’ve also lost my old /etc/apt/sources.list, and not quite sure what nVidia lists were added on 19.2 when going through the setup and CUDA install. Anyone know which repos were custom added to R19.2’s /etc/apt/sources.list? Or which nVidia repos could be added? If possible I’d like to use apt to install nVidia packages like kernel source or OpenGL headers.

2

I’ve installed kernel sources, as instructed by Tegra_Linux_Driver_Package_Documents_R19.3.tar. I didn’t manage to use git commands directly, but source_sync.sh -k did the job.

3

Isn’t this what you want: Linux for Tegra Rel-19 ?

4

I was never able to find kernel source from this one. Perhaps I went through it too fast.

5

This is the one! I’m curious though, how did you find this link? Was it in the L4T documentation?

6

It’s on the Jetson TK1 Support page. :)

7

ROFL, ok…it just seems obvious now that you point it out. Thanks!