installing kernel on nvidia jetson tk1 SD card?

ben <[email protected]> Sun, 2 Oct 2016 22:11:02 -0700

Newsgroups	gmane.linux.ports.arm.general
Message-ID	<[email protected]>

Hello, I have an nVidia jetson TK1 board with Debian installed. The boot 
partition is on the built in flash and the system root is on a disk 
drive. I want to compile and install a different kernel for testing onto 
the SD card. The idea would be that with the SD card plugged in I would 
get the new kernel and otherwise I would get the standard Debian kernel. 
Compiling the kernel is simple enough but I don't know how to install it 
on the SD card.

Thank you.